Aussageform

Unter einer Aussageform wie versteht man einen Sachverhalt, der Variablen wie für Objekte enthält, so dass nach deren Ersetzung durch Objekte Aussagen entstehen.

Beispiel

Ein Viereck ist ein Quadrat. (Aussageform, keine Aussage!)
Es gibt ein Viereck, das ein Quadrat ist. (wahre Aussage)
Aber: Nicht jedes Viereck ist ein Quadrat.

Mit allgemeingültigen Aussageformen können wahre Allaussagen gebildet werden.

Weiteres Beispiel

(allgemeingültige Aussageform)
Für alle reellen Zahlen gilt: Faktoren kann man vertauschen, das Produkt bleibt dabei gleich. (wahre Allaussage)