ΛΟΓΙΚΗ

Ενικοί όροι και κατηγορήματα. Λεξιλόγιο και σύνταξη της Κατηγορηματικής Λογικής

Ανοιχτοί και κλειστοί τύποι. Σημασιολογία, Συνέπεια, μοντέλα.

Έλεγχος της Λογικής εγκυρότητας επιχειρημάτων με τη μέθοδο των δενδροδιαγραμμάτων.

Singular terms and Predicates. Syntax of Predicate Logic, open and closed formulas.

Semantics, Consistency, models.

How to test logically valid arguments by means of formal methods including tree diagrams