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