Prädikatenlogik/Erfüllbar/Durch Modell/Definition

Erfüllbarer Ausdruck

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