Μαθηματική Λογική
Ενότητες
Ενότητα 9: Κανονική ποσοδεικτική μορφή
Αποδεικνύεται το θεώρημα κανονικής ποσοδεικτικής μορφής, συνέπεια του οποίου είναι το γεγονός ότι αρκούν δύο σύνδεσμοι και ένας ποσοδείκτης για τη σημασιολογία της κατηγορηματικής λογικής.
Λέξεις κλειδιά: κανονική ποσοδεικτική μορφή, αλφαβητική παραλλαγή
Βιντεοδιαλέξεις | ||
Ενότητα 9 - Κανονική ποσοδεικτική μορφή |