Folgerungsbeziehungsproblem der Prädikatenlogik

Einfache Sprache

Folgerungsbeziehungsproblem der Prädikatenlogik

Das Entscheidungsproblem FO-ENTAIL stellt die Frage ob zwischen zwei Prädikatenlogische Formeln eine Folgerungsbeziehung existiert.

Als Sprache formuliert:

$$ \textrm{FO-ENTAIL} = \left\{\langle\varphi_0,\ldots,\varphi_{n-1},\psi\rangle\mid \varphi_0,\ldots,\varphi_{n-1},\psi\in\mathbf F_\mathrm{PL} \land\varphi\models\psi\right\}$$