ΠΛΗ20 - ΜΑΘΗΜΑ 3.5 - ΝΟΜΟΙ ΚΑΤΗΓΟΡΗΜΑΤΙΚΗΣ ΛΟΓΙΚΗ - ΕΡΩΤΗΣΕΙΣ 1

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