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

Aus Wikiversity
Erfüllbarer Ausdruck

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