Aussagen
Aussageform, Gleichung oder Ungleichung,
die mindestens eine Variable enthält.
ist eine Aussageform.
Aussage, Gleichung oder Ungleichung, die keine Variablen oder Unbekannten enthält.
Eine Aussage kann entweder wahr oder falsch sein.
ist eine wahre Aussage,
ist eine falsche Aussage.
In den geläufigen Programmiersprachen wird der Wahrheitsgehalt von
Aussagen durch logische Variable repräsentiert; sie kann nur die
Werte TRUE (wahr) oder FALSE (unwahr) annehmen.
Definitionsgleichung, ordnet einer Variablen einen Wert oder
mathematischen Ausdruck zu.
ordnet der Variablen x 12mal den Wert der
Variablen y plus 3 zu.
In Computerprogrammen sind auch mathematisch unsinnige
Definitionsgleichungen möglich, z.B. n=n+1 erhöht den unter dem
Variablennamen n gespeicherten Wert um 1.
In PASCAL werden daher
definierende Gleichungen durch n:=n+1 unterschieden von Aussagen in
Gleichungsform, wie etwa n=3 , d.h., n hat entweder den Wert 3,
dann ist die Aussage wahr, andernfalls ist die Aussage falsch.
