Aussagenlogik
Die Aussagenlogik ist ein Bereich der Logik, 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. Die Aussagenlogik beschäftigt sich mit dem korrekten Folgern, d.h. aus dem Schliessen von Voraussetzungen (Prämissen) auf eine Schlussfolgerung (Konklusion). In der klassischen Aussagenlogik dabei ist entweder wahr oder falsch, d.h. es gibt nur zwei Werte (Zweiwertigkeitsprinzip, tertium non datur).
siehe auch: Logik