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