Übersicht

Aussagen / Negation

• Natürliche Sprache mehrdeutig. Mathematik: eindeutige Sprache
• Aussagen sind entweder wahr oder falsch (Ausgeschlossenes Drittes, ausgeschlossener Widerspruch)
• Negation, der Junktor ¬, Wahrheitswerttafel (WWT) der Negation
• ggf. Logikrätsel
• ggf. Vertiefung: Unterscheidung Aussagen und Aussageformen

Aussagen

Negation

Logikrätsel

Konjunktion und Disjunktion

• die Junktoren ∧ und ∨ WWT der Konjunktion, WWT der Disjunktion
• zusammengesetzte Aussagen mit den Junktoren ¬, ∧, ∨
• De Morgan’sche Gesetze
• Distributivgesetze der Logik

Verknüpfte Aussagen

Implikation und Äquivalenz

• die Junktoren → und ↔, WWT der Implikation („ex falso quodlibet“), WWT der Äquivalenz
• Logische Äquivalenz von A → B und (¬A) ∨ B
• ggf. Vertiefung: Unterschied Subjunktion und Implikation

Implikation und Äquivalenz

Tautologie und Kontradiktion

• Definition der Begriffe, Beispiele
• ggf. Vertiefung: Der Sheffer’sche Strich |

Tautologie und Kontradiktion

Überblick aussagenlogische Gesetze

Aussagen und Aussageformen / Ein- und zweistellige Junktoren

• Aussagen und Aussageformen
• Aussagen sind entweder wahr oder falsch (Ausgeschlossenes Drittes, ausgeschlossener Widerspruch)
• die Junktoren ¬, ∧, ∨ →, ↔
• Unterschied zwischen Subjunktion und Implikation

Aussagen

Vertiefung Aussagen und Aussageformen

Vertiefung Unterschied Subjunktion und Implikation

Überblick über die ein- und zweistelligen Junktoren

• Überblick über die ein- und zweistelligen Junktoren
• WWT von zusammengesetzten Aussagen De Morgan’sche Gesetze, Distributivgesetze der Logik

Vertiefung Ein- und zweistellige Junktoren

Disjunktive und konjunktive Normalform

• Disjunktive und konjunktive Normalform einer Aussage

Disjunktive und konjunktive Normalform

Tautologie und Kontradiktion / Adäquate Mengen von Junktoren

• Definition der Begriffe, Beispiele
• adäquate Mengen von Junktoren

Tautologie und Kontradiktion

Adäquate Mengen von Junktoren