Aussageformen, Erfüllbarkeit
Eine Aussageform ist eine sinnvolle sprachliche Äußerung, die mindestens eine (freie) Variable enthält und die zur Aussage wird, wenn für die Variable(n) ein Element aus dem Grundbereich eingesetzt wird.
Aus dem Inhalt:
[...] des Grundbereichs überführen die Aussageform in eine wahre Aussage. Die Aussageform ist dann allgemeingültig . Mit erfüllbaren Aussageformen können wahre [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik/artikel/aussageformen-erfuellbarkeit