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 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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.