Aussageform

Eine Aussageform ist ein formal-sprachliches Gebilde, das mindestens eine Variable enthält und bei sinnvoller Bindung oder Belegung aller vorkommenden Variablen in eine Aussage übergeht. Beispielsweise ist $a^{b}=b^{a}$ eine Aussageform, nicht aber der Term $(a+b)^{2}$.

Grundsätzliche Möglichkeiten zur Überführung einer Aussageform in eine Aussage

Variablenbelegung

Bei der Variablenbelegung werden für die Variablen konkrete Werte eingesetzt, und die Variablen sind dann Platzhalter für solche Werte, z. B.:

Quellen

Der Beitrag kann wie folgt zitiert werden: Madipedia (2018): Aussageform. Version vom 16.04.2018. In: dev_madipedia. URL: http://dev.madipedia.de/index.php?title=Aussageform&oldid=29877.