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.