Aussageform

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 im Sinne der 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.