Ενότητα 9: Κανονική ποσοδεικτική μορφή

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

 

Λέξεις κλειδιά: κανονική ποσοδεικτική μορφή, αλφαβητική παραλλαγή

Βιντεοδιαλέξεις

Ενότητα 9 - Κανονική ποσοδεικτική μορφή