Aussagen und Wahrheitswerte
Aussage, Satz der natürlichen Sprache,
dem ein Wahrheitswert, d.h. wahr
oder falsch, zugeordnet werden kann.
Eine Aussage ist immer entweder wahr oder falsch
(Satz der Zweiwertigkeit) und kann auch nicht
sowohl wahr als auch falsch sein
(ausgeschlossener Widerspruch).
Schreibweisen für die Wahrheitswerte:
Im folgenden werden die Wahrheitswerte mit 0 und 1 bezeichnet.
In PASCAL werden die Wahrheitswerte mit den Konstanten
false und true bezeichnet, in FORTRAN
mit .false. und .true. .
