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\vDash \alpha$ gibt.