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.