Μάθημα : ΜΑΘΗΜΑΤΑ ΠΡΟΤΑΣΙΑΚΗΣ ΚΑΙ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗΣ
Κωδικός : MATH502
Για το υποχρεωτικό μάθημα Λογική και τις εξετάσεις Σεπτεβρίου
Το υποχρεωτικό μάθημα Λογική χειμερινού εξαμήνου θα εξεταστεί κανονικά με φυσική παρουσία τον Σεπτέμβριο σύμφωνα με το πρόγραμμα.
Η ύλη περιλαμβάνει τα ακόλουθα:
Η έννοια του επιχειρήματος, παραγωγικά επιχειρήματα. Παραδείγματα. Λογική εγκυρότητα. Λογικά έγκυρα επιχειρήματα. Τυπικές λογικές πλάνες. Κανόνες Modus Ponens και Modus Tollens. Σύνταξη της Προτασιακής λογικής - τυποποίηση προτάσεων. Σημασιολογία της Προτασιακής Λογικής - πίνακες αλήθειας. Ταυτολογίες, αντιφάσεις, ενδεχομενικοί τύποι. Αληθοσυναρτησιακή ισοδυναμία. Τύποι αληθοσυναρτησιακά ισοδύναμοι και έλεγχος μέσω πινάκων αληθείας. Αληθοσυναρτησιακή συνέπεια. Έλεγχος συνέπειας μέσω πινάκων αληθείας. Αληθοσυναρτησιακή εγκυρότητα επιχειρηματικών μορφών. Έλεγχος εγκυρότητας με χρήση της Σχετικής συνεπαγωγής και πίνακα αλήθειας. Επίσης, στον Κατηγορηματικό λογισμό: σύμβολα, η έννοια του κατηγορήματος, οι ποσοδείκτες και η χρήση τους. Παραδείγματα τυποποίησης προτάσεων. Η ύλη είναι από το βιβλίο Λογική: η δομή του επιχειρήματος, εκδόσεις Νεφέλη.