Μαθηματική Λογική

Ενότητες

Ενότητα 7: Πρωτοβάθμιες γλώσσε... Ενότητα 9: Κανονική ποσοδεικτι...
Ενότητα 8: Λογικές συνεπαγωγές

Παρουσιάζεται η σημασιολογική προσέγγιση του ελέγχου εγκυρότητας επιχειρηματικών μορφών στην κατηγορηματική λογική, καθώς και μερικές βασικές ιδιότητές της. Δίνονται παραδείγματα έγκυρων επιχειρηματικών πρωτοβάθμιων μορφών, καθώς και κατάλογος βασικών νόμων της κατηγορηματικής λογικής.

 

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

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

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

Ενότητα 8 - Λογικές συνεπαγωγές