Η γλώσσα της προτασιακής λογικής. Ταυτολογικές συνεπαγωγές. Πλήρη σύνολα συνδέσμων. Προτασιακός λογισμός. Εγκυρότητα και πληρότητα του προτασιακού λογισμού. Πρωτοβάθμιες γλώσσες. Λογικές συνεπαγωγές. Πρωτοβάθμιος (κατηγορηματικός) λογισμός. Εγκυρότητα και πληρότητα του πρωτοβάθμιου λογισμού. Παραδείγματα πρωτοβάθμιων θεωριών. Στοιχεία από την αξιωματική θεωρία συνόλων.