Μαθηματική Λογική
Ενότητες
Ενότητα 10: Κατηγορηματικός λογισμός
Παρουσιάζεται η συντακτική προσέγγιση του ελέγχου επιχειρηματικών μορφών στην κατηγορηματική λογική, στο πλαίσιο ενός συγκεκριμένου «τυπικού λογισμού», δηλαδή ενός τυπικού (αξιωματικού) συστήματος για την κατηγορηματική λογική. Αποδεικνύονται θεωρήματα που αφορούν το λογισμό αυτό, που διευκολύνουν σημαντικά την κατασκευή αποδείξεων στο εσωτερικό του (θεωρήματα παραγωγής, γενίκευσης κτλ.)
Λέξεις κλειδιά: κατηγορηματικός λογισμός, λογικό αξίωμα, μη-λογικό αξίωμα
Βιντεοδιαλέξεις | ||
| Ενότητα 10 - Κατηγορηματικός λογισμός | ||
