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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.