Ενότητα 5: Προτασιακός λογισμός

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

 

Λέξεις κλειδιά: προτασιακός λογισμός, τυπική απόδειξη, αξιωματικό σύστημα, αποδεικτικός κανόνας

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

Ενότητα 5 - Προτασιακός λογισμός