Aussagenlogik
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, 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.
Lernvideos von TheSimpleMaths
-
Negation, Konjunktion, Disjunktion – Aussagenlogik 1Inhalt: Video von TheSimpleMaths -
Implikation & Äquivalenz – Aussagenlogik 2Inhalt: Video von TheSimpleMaths -
De Morgansche Gesetze – Aussagenlogik 3Inhalt: Video von TheSimpleMaths