Aussageform
aus Wikipedia, der freien Enzyklopädie
Als Aussageform bezeichnet man in der Mathematik eine sprachliche Form, die einer logischen Aussage ähnelt, in der aber ein oder mehrere Variablen vorkommen. Aussageformen sind keine Aussagen im strengen Sinne, da sie keinen bestimmbaren Wahrheitswert aufweisen. Allgemein gilt, dass durch die Belegung sämtlicher Variablen einer Aussageform mit Konstanten eine Aussage entsteht. So ist etwa 2x + 6 = 10 keine Aussage, aber eine Aussageform. Ersetzt man die Variable x z.B. durch 2, so geht die Aussageform in eine Aussage über.
Aussageformen werden oft so verstanden, dass sie einerseits zum Beispiel Begriffe und Eigenschaften ausdrücken ("x ist ein Mensch", "x ist rosa"), andererseits Relationen ("x ist größer als y").