Aussagenlogik
Teilgebiet der Mathematik, Informatik und Philosophie
Basiswissen
Die Aussagenlogik fragt, ob Schlüsse von gegebenen Prämissen (Ausgangsbehauptungen) korrekt gezogen wurden oder nicht. Die Aussagenlogik trifft keine Entscheidung darübre, ob die Ausgangsbehaupten wahr sind oder nicht.
Charakterisierung
◦ Die Logik fragt NICHT, ob etwas empirisch wahr ist.
◦ Empirisch meint: an der Erfahrung oder Beobachtung überprüft.
◦ Die Aussageklogik fragt: folgt aus dem Einen zwingend das Andere?
◦ Siehe auch => Wahrheitstafeln