Mαθηματική Λογική (Μεταπτυχιακό Διδακτικής των Μαθηματικών)

Δήμητρα Χριστοπούλου

Περιγραφή

ΠΡΟΤΑΣΙΑΚΗ ΛΟΓΙΚΗ

Λεξιλόγιο και Σύνταξη προτασιακών τύπων. Τυποποίηση.

Σημασιολογία  Π.Λ.

Αληθοσυναρτησιακή ιδιότητα. Η έννοια της αποτίμησης.

Πίνακες αληθείας.

Η έννοια της ταυτολογίας. Η έννοια της αντίφασης. Η έννοια του ενδεχομενικού τύπου.

Αληθοσυναρτησιακή ισοδυναμία.

Αληθοσυναρτησιακή αντιφατικότητα.

Αληθοσυναρτησιακή Συνέπεια.

Έλεγχος αληθοσυναρτησιακής Συνέπειας μέσω πινάκων αληθείας.

Έλεγχος αληθοσυναρτησιακής Συνέπειας μέσω δενδροδιαγραμμάτων.

Η έννοια της Εγκυρότητας. Έγκυρες και άκυρες μορφές επιχειρημάτων.

Τυποποίηση επιχειρημάτων και έλεγχος αληθοσυναρτησιακής εγκυρότητας.

Μέθοδοι ελέγχου μέσω πινάκων αληθείας / μέσω δενδροδιαγραμμάτων

 

ΚΑΤΗΓΟΡΗΜΑΤΙΚΗ ΛΟΓΙΚΗ  (πρωτοβάθμια γλώσσα).

Λεξιλόγιο και Σύνταξη.

Κατηγορήματα.

Ανοικτοί και κλειστοί τύποι.

Παραγωγή. Κανόνες παραγωγής.

Παραγωγικό επακόλουθο.

Συνέπεια.

Καθιερωμένη Σημασιολογία της πρωτοβάθμιας κατηγορηματικής λογικής.

Η έννοια της δομής-ερμηνείας της γλώσσας.  Αποτίμηση. 

Αληθείς προτάσεις.

Λογικά έγκυροι τύποι.

Σημ

Περισσότερα  

Ημερολόγιο

Ανακοινώσεις