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

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

[saramis]

η λύση υπάρχει χ για κάθε ψ νοτ (Ρ(χ)->Ρ(ψ)) δεν είναι σωστή;