Логиката е наука за формално-валидните умозаключения.[1] Днес тя се изгражда най-често или като теория за логическата истина, или като теория за логическата импликация, за да се изследва кога една теза (извод, заключение) следва логически от дадени хипотези (предпоставки).
Тази статия или раздел има нужда от повече източници, позволяващи проверка на твърденията.