
Στόχοι του Μαθήματος
Στο μάθημα αυτό:
- Βλέπουμε δυο εισαγωγικούς ορισμούς (ικανοποίησιμο και μη ικανοποίησιμο σύνολο τύπων)
- Έπειτα μελετούμε τον θεμελιώδη ορισμό της προτασιακής λογικής, ο οποίος είναι η μαθηματική μοντελοποίηση του συλλογισμού. Μαθαίνουμε να εξετάζουμε αν ισχύει μια ταυτολογική συνεπαγωγή είτε με τον πίνακα αλήθειας, είτε συλλογιστικά.

Σύντομη Παρουσίαση
Με μια ματιά το μάθημα:
- ΚΑΡΤΑ: Ικανοποιήσιμο Σύνολο Τύπων
- ΚΑΡΤΑ: Ταυτολογική Συνεπαγωγή
Σχολιασμός (βίντεο)

Αναλυτική Παρουσίαση
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ:
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
Παρουσίαση τουΜαθήματος:
ΒΙΝΤΕΟ ΜΑΘΗΜΑΤΟΣ και ΣΧΟΛΙΑΣΜΟΣ
ΣΥΜΒΟΥΛΕΣ

Περαιτέρω Εξάσκηση
Πολλές ακόμη ασκήσεις κατασκευής αληθοπίνακα αλλά και συλλογιστικές ασκήσεις σε ταυτολογική συνεπαγωγή μπορούν να βρεθούν στα ερωτήματα κατανόησης των ετών 2011-2015.

Πηγές και Διαδίκτυο
Η εφαρμογή 1 και οι ερωτήσεις 1-3 είναι παλιά θέματα εξετάσεων του ΕΑΠ
