Логиката е наука за формално-валидните умозаключения. Днес тя се изгражда най-често или като теория за логическата истина, или като теория за логическата импликация, за да се изследва кога една теза (извод, заключение) следва логически от дадени хипотези (предпоставки).
Вижте повече на Wikipedia.οrg…