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

Ενότητες

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

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

 

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

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

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

Ενότητα 3 - Ταυτολογικές συνεπαγωγές