Zur Hauptnavigation springen [Alt]+[0] Zum Seiteninhalt springen [Alt]+[1]

Übersicht

Aussagenlogik – Übersicht

Inhalte (in Doppelstunden) Material

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

 

Aussagenlogik – Vertiefung für SuS des IMP-Profils

Inhalte (in Doppelstunden) Material

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

 

 

Übersicht: Aussagenlogik: Herunterladen [docx][16 KB]

Übersicht: Aussagenlogik: Herunterladen [pdf][156 KB]

 

Weiter zu Didaktische Hinweise