Aussagenvariablen
Aussagenvariable,
Boolesche Variable , wird
für Aussagen eingesetzt,
solange man die Zuordnung von Wahrheitswerten zu Aussagen offen lassen
möchte.
Die Variablen werden gewöhnlich mit
Großbuchstaben A, B, C usw. bezeichnet.
Um Aussagenvariablen zu vereinbaren verwendet man in PASCAL den
Datentyp boolean , in FORTRAN den Datentyp logical .