Back Propositional formula English Fórmula proposicional Spanish Formule propositionnelle French Formula propositional IA Propozicionala formulo IO Funkcja zdaniowa Polish Пропозициональная формула Russian
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.