zwei Terme, die durch ein Gleichheitszeichen verknüpft sind. Kommt in keinem der Terme eine Variable vor (z. B. 3 + 7 = 10), handelt es sich um eine Aussage, die entweder wahr oder falsch ist, anderenfalls um eine Aussageform, da ihr Wahrheitswert von den konkreten Werten der Variablen abhängt.