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