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.