Erfüllbarkeitsäquivalenz prädikatenlogische Formeln

Einfache Sprache

Def. Erfüllbarkeitsäquivalenz prädikatenlogische Formeln

Zwei Prädikatenlogische Formeln $\varphi,\varphi'\mathbf{F}_\mathrm{PL}$ heißt erfüllbarkeitsäquivalent genau dann, wenn $\varphi$ erfüllbar ist genau dann, wenn $\varphi'$ erfüllbar ist.