Συνοπτική θεωρία 3ου,4ου και 5ου κεφαλαιου, βασισμένη στο σχολικό βιβλίο και συμπληρωμένη όπου αυτό κρίνεται απαραίτητο. Το αρχείο διορθώνεται και ανανεώνεται σύμφωνα με τις απαιτήσεις του μαθήματος και των μαθητών αλλά και βάσει των δικών σας παρατηρήσεων!
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
Συνοπτική θεωρία 3ου,4ου και 5ου κεφαλαιου, βασισμένη στο σχολικό βιβλίο και συμπληρωμένη όπου αυτό κρίνεται απαραίτητο. Το αρχείο διορθώνεται και ανανεώνεται σύμφωνα με τις απαιτήσεις του μαθήματος και των μαθητών αλλά και βάσει των δικών σας παρατηρήσεων!
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις