Μάθημα : ΛΟΓΙΚΗ

Σύνταξη και Λεξιλόγιο του Προτασιακού Λογισμού

Αποτίμηση, Πίνακες αληθείας, Ταυτολογίες, Αντιφάσεις, Ενδεχομενικοί τύποι

Αληθοσυναρτησιακά ισοδύναμοι τύποι, Αληθοσυναρτησιακά αντιφατικοί τύποι, Συνέπεια.

Έλεγχος της αληθοσυναρτησιακής συνέπειας ενός συνόλου προτασιακών τύπων.

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

(Xρήση πινάκων αληθείας και δενδροδιαγραμμάτων.)

Syntax of Propositional Logic

Evaluation, Truth tables, Tautologies, Contradictions, Contingent formulas

Truth-functional equivalence, Consistency.

How to find out whether an argument is logically valid

(by means of formal methods including truth tables and tree diagrams)