Μαθηματική Λογική

Ενότητες

Ενότητα 8: Λογικές συνεπαγωγές Ενότητα 10: Κατηγορηματικός λο...
Ενότητα 9: Κανονική ποσοδεικτική μορφή

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

 

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

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

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

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