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


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

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

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

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

  • ΚΑΡΤΑ: Νόμοι Κατηγορηματικής Λογικής και Κανονική Ποσοδεικτική Μορφή


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

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

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

1) Νόμοι Κατηγορηματικής Λογικής
1.1) Η χρήση των νόμων της κατηγορηματικής λογικής
1.2) Οι νόμοι της Κατηγορηματικής Λογικής
1.3) Νόμοι Προτασιακής Λογικής
2) Κανονική Ποσοδεικτική Μορφή
2.1) Ορισμός
2.2) Αναγνώριση της Ποσοδεικτικής Μορφής
2.3) Εύρεση Κανονικής Ποσοδεικτικής Μορφής
2.4) Παραδείγματα
Ασκήσεις

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


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

ΣΥΜΒΟΥΛΕΣ

 catwoman.200  batman.200
ΚατηγορίαΧΔΣχόλιο
Θεωρία Μελέτη των νόμων κατηγορηματικής λογικής και μεθοδολογία εύρεσης της κανονικής ποσοδεικτικής μορφής ενός τύπου
Ερωτήσεις 144Προσοχή σε κάποια λεπτά σημεία των ορισμών.
Εφαρμογή 132Απλές ασκήσεις στην εύρεση της κανονικής ποσοδεικτικής μορφής
Εφαρμογή 234Εφαρμογή με τον νόμο Κατανομής Ποσοδείκτη
Εφαρμογή 334Αναλυτική άσκηση εφαρμογής νόμων
Εφαρμογή 433Αναλυτική άσκηση εφαρμογής νόμων
Εφαρμογή 544Πολύ χρήσιμη άσκηση με λεπτομέρειες εφαρμογής της μεθοδολογίας

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

Αρκετά χρήσιμα παραδείγματα μπορούν να βρεθούν στα ερωτήματα κατανόησης 2011-2015

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

Οι εφαρμογές 3-5 είναι θέματα εργασιών - εξετάσεων του ΕΑΠ

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