Ausdruck der Aussagenlogik. Übliche Konvention: "Falsch" = 0
Aussagen (Logik)
Eine Aussage ist die Formulierung einer Behauptung, von der man mittels Beweis feststellen kann, ob sie wahr oder falsch ist.
Wahrheitswert einer Aussage
Eine mathematische Aussage ist ein Ausdruck, der entweder den Wahrheitswert „wahr“ oder „falsch“ hat. Der Wahrheitswert ist also ein logischer Wert
- wahr bzw. "1"
- falsch bzw. "0"
den eine Aussage in Bezug auf Ihre Wahrheit annehmen kann.
Postulat
Eine Aussage, die man nicht beweisen kann, muss deshalb nicht unbedingt falsch sein. Man nennt eine unbeweisbare Aussage ein Postulat.