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

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

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

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

Πηγές και Διαδίκτυο
Όλες οι ασκήσεις του συγκεκριμένου μαθήματος είναι θέματα εξετάσεων-εργασιών του ΕΑΠ.
