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

Η έννοια του επιχειρήματος. Παραγωγικά επιχειρήματα. Παραδείγματα. Λογική εγκυρότητα. Λογικά Έγκυρα επιχειρήματα. Τυπικές Πλάνες. Παραγωγικοί κανόνες. Modus Ponens, Modus Tollens. Σύνταξη Προτασιακής Λογικής. Σύνδεσμοι. Τυποποίηση προτάσεων. Σημασιολογία Προτασιακής Λογικής. Πίνακες Αληθείας. Ταυτολογίες, αντιφάσεις, ενδεχομενικοί τύποι. Παραδείγματα. Αληθοσυναρτησιακή ισοδυναμία. Τύποι αληθοσυναρτησιακά ισοδύναμοι και έλεγχος μέσω πινάκων αληθείας. Αληθοσυναρτησιακή συνέπεια και έλεγχος συνέπειας μέσω πινάκων αληθείας. Αληθοσυναρτησιακή Εγκυρότητα μορφών επιχειρημάτων. Έλεγχος Εγκυρότητας με χρήση της Σχετικής Συνεπαγωγής και πίνακα αληθείας. Ασκήσεις. Στον κατηγορηματικό λογισμό: λεξιλόγιο, σύμβολα, κατηγορήματα, ποσοδείκτες, μεταβλητές και τυποποίηση βασικών μορφών προτάσεων. Η ύλη από το βιβλίο Λογική: η δομή του επιχειρήματος, Νεφέλη και από pdf σημειώσεων στο e class.