Untersuchen Sie die folgenden Formeln auf Erfüllbarkeit PL1

Question

Aufgabe:

Untersuchen Sie die folgenden Formeln auf Erfüllbarkeit, in dem Sie versuchen
eine passende Interpretation in PL1 anzugeben.

Text erkannt:

a) \( <\left(t_{1}, t_{2}\right) \) wobei \( t_{1} \) und \( t_{2} \) Terme sind
b) \( \forall x \exists y<(x, y) \)
c) \( \forall x \exists y>(x, y) \)
d) \( \forall x \exists y f(x, y)=x \)

Problem/Ansatz:

Hoffe mir kann jemand helfen. Vielen dank.

Answer 1

Jede der genannten Formeln ist erfüllbar.

Comments

okay aber was soll ich unter einer passenden Interpretation in PL1 verstehen?

---

b) \( \forall x \exists y<(x, y) \)

Gib eine Interpretation an, die diese Formel erfüllt. Du weißt doch, was eine Interpretation einer PL1-Formel ist, oder?