Erfüllbarkeitsproblem der Prädikatenlogik

Einfache Sprache

Erfüllbarkeitsproblem der Prädikatenlogik

Das Entscheidungsproblem FO-ENTAIL stellt die Frage ob Prädikatenlogische Formeln erfüllbar sind.

Als Sprache formuliert:

$$ \textrm{FO-SAT} = \left\{\langle\varphi\rangle\mid \varphi\in\mathbf F_\mathrm{PL} \land \varphi \text{ ist erfüllbar}\right\}$$