Μάθημα : ΜΑΘΗΜΑΤΑ ΠΡΟΤΑΣΙΑΚΗΣ ΚΑΙ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ

H έννοια της λογικής εγκυρότητας ενός επιχειρήματος. Τι είναι έγκυρη συναγωγή συμπεράσματος.

Η Λογική Παραγωγή ως διαδικασία.

ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ

Η γλώσσα του Προτασιακού Λογισμού. Λεξιλόγιο και σύνταξη προτασιακών τύπων.

Ασκήσεις τυποποίησης.

Σημασιολογία του Προτασιακού Λογισμού.

Αληθοσυναρτησιακή ιδιότητα.  Η έννοια της αποτίμησης.

Πίνακες αληθείας.

Η έννοια της ταυτολογίας. Η έννοια της αντίφασης. Η έννοια του ενδεχομενικού τύπου.

Προτασιακοί τύποι αληθοσυναρτησιακά ισοδύναμοι.

Προτασιακοί τύποι αληθοσυναρτησιακά αντιφατικοί.

Αληθοσυναρτησιακή συνέπεια.

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

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

ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ

ΣΥΝΤΑΞΗ ΚΑΙ ΣΗΜΑΣΙΟΛΟΓΙΑ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ