Logische Aussage
Die Welt ist alles, was der Fall ist. (Ludwig Wittgenstein)Aussagen sind Sätze, die Sachverhalte beschreiben, denen man als Wahrheitswert
richtig, wahr, true, logisch 1,oder
falsch, unwahr, false, logisch 0zuordnen kann.
Formal ist für solche Aussagen nur ihr Wahrheitswert von Bedeutung. Im Allgemeinen symbolisiert eine Variable (etwa ein Buchstabe) einen zuzuordnenden Wahrheitswert.
Für Aussagen ist eine einstellige Operation definiert: Die Negation. Diese liefert beim Eingangswert richtig den Wert falsch und umgekehrt.
Für die Kombination von zwei Aussagen gibt es eine Reihe von zweistelligen Operationen. Diese geben für alle möglichen Kombinationen von Wahrheitswerten einen für diese Operation typischen Ergebniswahrheitswert an. So zum Beispiel die UND-Operation a UND b. Die so verknüpfte Aussage ist nur richtig, wenn a und b richtig sind. Sonst ist sie falsch.
Siehe auch Aussagenlogik, Wahrheitstabelle, Äquipollente Systeme