Η γλώσσα του προτασιακού λογισμού, αποτιμήσεις αλήθειας, αληθοπίνακες, ταυτολογίες και λογική ισοδυναμία. Επάρκεια λογικών συνδέσμων, κανονικές μορφές και λογικά κυκλώ­ματα. Άλγεβρα Boole. Η έννοια της λογικής συνέπειας. Τυπικές αποδείξεις, ορθότητα, πληρότητα. Η γλώσσα του κατηγορη­ματικού λογισμού, τύποι, προτάσεις. Αποτιμήσεις μεταβλητών, σημασιολογία και η έννοια της αλήθειας. Λογική εγκυρότητα, χειρισμός των ποσοδεικτών και κανονικές μορφές. Συμπαγό­τητα και εφαρμογές.