Teilgebiet der Logik

Aussagen und deren Verknüpfung durch Junktoren

ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird.

In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte „wahr“ und „falsch“ zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen

Verneinte Aussage (Negation) -,Eine aussage kann nicht gleichzeitg wahr oder falsch sein, ist eine Aussage wahr, ist die verneinung falsch et vice versa. A = W; nicht A = FA = F; nicht A = W

Logische Äquivalenz <->A ist äquivalent zu B ist immer wahr, wenn die Wahrheitswerte übereinstimmen (beide W oder beide F) ergibt 2 falsche und 2 wahre Konklusionen

Und-Verknüpfte Aussage (Konjunktion) ^Wenn A und B wahr sind, ist die Konklusion wahr, ergibt nur 1 wahre Konklusionen(nur wahr, wenn beide Teilaussagen wahr sind)

Oder-Verknüpfte Aussage (Disjunktion ) vwenn A oder B wahr sind, ist die Konklusion wahr, ergibt 3 wahre Konklusionen(Wahr, wenn minestens eine der beiden Teilaussagen wahr ist)falsch ist nur A=falsch und B=falsch

Konditional ->A ist eine hinreichende Bedingung für B, ist ist wahr, sobald A wahr istaus wahrem kann nichts falsches folgenaus falschem folgt beliebigesergibt 3 wahre Konklusionen, falsch ist nur A=wahr, B=falsch

Wahrheitswert der logischen Aussagen darf icht mit inhalticher Richtigkeit verwechselt werden!