Aussagenlogik

Die Aussagenlogik ist ein Bereich der Mathematik, der sich mit dem Verständnis von Aussagen zu Sachverhalten befasst.

Als Aussagen gelten Sätze, die als wahr oder falsch ermittelt werden können. Diese werde als logische Aussage bezeichnet.

siehe auch: Logik