ΠΛΗ20 Μάθημα 2.3 – Νόμοι Προτασιακής Λογικής


Στόχοι του Μαθήματος

Στο μάθημα αυτό:

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

Σύντομη Παρουσίαση

Με μια ματιά το μάθημα:

  • ΚΑΡΤΑ: Νόμοι Προτασιακής Λογικής
  • ΚΑΡΤΑ: Επαγωγή στην Πολυπλοκότητα των Τύπων


]

Σχολιασμός (βίντεο)

Αναλυτική Παρουσίαση

ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ:

1) Νόμοι Προτασιακής Λογικής
1.1) Εύρεση Ταυτολογικά ισοδύναμου τύπου με δεδομένους συνδέσμους.
2) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.1) Επαγωγή στην Πολυπλοκότητα των Τύπων
2.2) Επαγωγή στην Πολυπλοκότητα vs Επαγωγή στους Φυσικούς
2.3) Πλήρη Σύνολα Συνδέσμων
Ασκήσεις

Παρουσίαση τουΜαθήματος:


ΒΙΝΤΕΟ ΜΑΘΗΜΑΤΟΣ και ΣΧΟΛΙΑΣΜΟΣ

ΣΥΜΒΟΥΛΕΣ

 poisonivy.200  batman.200
ΚατηγορίαΧΔΣχόλιο
Θεωρία 1 από 2Νόμοι Προτασιακής Λογικής και εφαρμογή σε άσκηση μετατροπής συνδέσμων σε προτασιακό τύπο
Θεωρία 2 από 2 Επαγωγή στην Πολυπλοκότητα των Τύπων και βασικά παραδείγματα. Πλήρες Σύνολο Συνδέσμων.
Κατανόηση 122Μετατροπή τύπου σε ταυτολογικά ισοδύναμο τύπο που χρησιμοποιεί δεδομένους συνδέσμους.
Κατανόηση 222Μετατροπή τύπου σε ταυτολογικά ισοδύναμο τύπο που χρησιμοποιεί δεδομένους συνδέσμους.
Ερωτήσεις 131Κατανόηση για το πότε ένα σύνολο συνδέσμων είναι πλήρες.
Εφαρμογή 145Πολύ σημαντική άσκηση στην επαγωγή στην πολυπλοκότητα των τύπων που ενσωματώνει τον ορισμό συναρτήσεων και απόδειξη πρότασης επί αυτής.
Εφαρμογή 243Επαγωγή στους φυσικούς όταν η πρόταση γίνεται επί μίας παραμέτρου που είναι φυσικός αριθμός (Γενικευμένος Κανόνας De Morgan)
Εφαρμογή 342Απόδειξη πληρότητας συνόλου συνδέσμων
Εφαρμογή 442Απόδειξη πληρότητας συνόλου συνδέσμων

Περαιτέρω Εξάσκηση

Ασκήσεις πάνω στην εφαρμογή των νόμων προτασιακής λογικής για την κατασκευή ισοδύναμων τύπων μπορούν να βρεθούν στα ερωτήματα κατανόησης των ετών 2011-2015.

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

Πηγές και Διαδίκτυο

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

Εκτυπώσιμη μορφή αρχείων PDF