Prädikatenlogik/Erfüllbar/Durch Modell/Definition
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.