ΠΛΗ20 Μάθημα 2.1 – Προτασιακοί Τύποι


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

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

  • Γίνεται εισαγωγή στην προτασιακή λογική.
  • Μαθαίνουμε τον πίνακα αλήθειας των λογικών συνδέσμων.
  • Μαθαίνουμε πότε ένας τύπος χαρακτηρίζεται ταυτολογία, αντίφαση, ή ικανοποιήσιμος τύπος.
  • Μαθαίνουμε να εξάγουμε την κανονική διαζευκτική μορφή ενός τύπου.

.

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

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

  • ΚΑΡΤΑ: Προτασιακοί Τύποι
  • ΚΑΡΤΑ: Κανονική Διαζευκτική Μορφή Τύπου


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

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

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

1) Προτασιακή Λογική
1.1) Προτασιακή Γλώσσα
1.2) Προτασιακοί Τύποι
1.2.1) Προτεραιότητα Συνδέσμων
1.2.2) Δενδροδιάγραμμα Τύπου
1.3) Αποτίμηση Τύπου
2) Χαρακτηρισμός Τύπων
2.1) Ταυτολογία
2.2) Αντίφαση
2,3) Ικανοποιήσιμος Τύπος
3) Κανονική Διαζευκτική Μορφή
Μεθοδολογία - Ασκήσεις

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


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

ΣΥΜΒΟΥΛΕΣ

 poisonivy.200  batman.200
ΚατηγορίαΧΔΣχόλιο
Θεωρία 1 από 2Βασικοί Ορισμοί: Προτασιακοί Τύποι, Ταυτολογία, Αντίφαση, Ικανοποιήσιμος Τύπος
Θεωρία 2 από 2Κανονική Διαζευκτική Μορφή
ΜεθοδολογίαΕμπειρικοί κανόνες για ταχύτερο προσδιορισμό τύπων, για ειδικές μορφές τύπων
Κατανόηση 111Κατανόηση της αποτίμησης των μεταβλητών ενός τύπου
Κατανόηση 241Κατασκευή Πίνακα Αλήθειας και χαρακτηρισμός τύπων (2 προτασιακές μεταβλητές)
Κατανόηση 341Κατασκευή Πίνακα Αλήθειας και χαρακτηρισμός τύπων (3 προτασιακές μεταβλητές)
Κατανόηση 421Εφαρμογή της Μεθοδολογίας της Κανονικής Διαζευκτικής Μορφής Τύπου
Ερωτήσεις 142Εξέταση αν τύποι είναι ταυτολογίες με κατασκευή πίνακα αλήθειας
Ερωτήσεις 242Εξέταση αν τύποι είναι ταυτολογίες με κατασκευή πίνακα αλήθειας
Εφαρμογή 132Εμπέδωση ότι ένας τύπος εμπίπτει σε πολλές μορφές με τη διαδικασία της συντακτικής αντικατάστασης
Εφαρμογή 343Συλλογισμός για την εύρεση αν ένας τύπος είναι ικανοποιήσιμος, ακριβώς επειδή αυτός έχει μια ειδική μορφή.

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

Αναζητήστε στις ασκήσεις κατανόησης ασκήσεις κατασκευής δενδροδιαγραμμάτων και κατασκευής πίνακα αλήθειας που θα δώσουν καλύτερη κατανόηση στη δομή των προτασιακών τύπων. 

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

Οι Ερωτήσεις 1-3 είναι παραλλαγές θεμάτων εξετάσεων του ΕΑΠ.

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