Aussageform

Aussage–Form lat.-deu.

• Aussageform in der Logik, ein logischer Satz mit ungebundenen Variablen
• Modus (Grammatik) (als eine seltenere Bezeichnungsvariante)

Der Ausdruck Aussageform hat in der Logik zwei Bedeutungen, denen gemeinsam ist, dass es sich um Ausdrücke handelt, deren Wahrheit oder Falschheit noch offen ist:

• Aussageform i. S. d. Mathematik und Prädikatenlogik: Ein Ausdruck, in dem mindestens ein Prädikat eine ungebundene Variable als Argument hat.
• Aussageform in der Aussagenlogik: Ein Ausdruck, in dem eine Aussagenvariable vorkommt.