Kurs logiki

Na tym kursie logiki poznasz najprostszy język formalny, którym jest KRZ, czyli Klasyczny Rachunek Zdań, nauczysz się zasad tłumaczenia na KRZ, poznasz, co to jest tautologia, nauczysz się sprawdzać, czy formuły są tautologiami metodą tabeli, metodami nie wprost, czyli skróconą metodą oraz metodą drzew, nauczysz się zasad dowodzenia wprost i nie wprost, poznasz podstawy sylogistyki, a także nauczysz się, jak należy argumentować, jak należy sprawdzać, czy rozumowania są poprawne oraz jakie bywają błędy w argumentacji. 

Celem tego kursu jest nabycie umiejętności analizy wypowiedzi w języku naturalnym pod względem jej struktury i związków, jakie zachodzą między elementami tej struktury, a także praktycznych metod sprawdzania poprawności rozumowań i dowodzenia twierdzeń. Strona ta stanowi interaktywny dodatek do wykładów i ćwiczeń.

Myślałeś, że logika trudna i szukałeś podręczników typu logika dla opornych? Albo myślałeś, że logika jest tylko dla prawników? - Wcale nie, przekonaj się sam!