Es sei S {\displaystyle {}S} ein Symbolalphabet und es sei α {\displaystyle {}\alpha } ein S {\displaystyle {}S} -Ausdruck in der Prädikatenlogik erster Stufe. Man nennt α {\displaystyle {}\alpha } erfüllbar, wenn es eine S {\displaystyle {}S} -Interpretation I {\displaystyle {}I} mit I ⊨ α {\displaystyle {}I\vDash \alpha } gibt.
