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

Ενότητες

Ενότητα 1: Εισαγωγή Ενότητα 3: Ταυτολογικές συνεπα...
Ενότητα 2: Η τυπική προτασιακή γλώσσα

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

 

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

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

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

Ενότητα 2: Η τυπική προτασιακή γλώσσα