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.
https://www.lernhelfer.de/schuelerlexikon/mathematik/artikel/aussageformen-erfuellbarkeit