Aufgabe:
Untersuchen Sie die folgenden Formeln auf Erfüllbarkeit, in dem Sie versuchen
eine passende Interpretation in PL1 anzugeben.
![17.png](https://www.mathelounge.de/?qa=blob&qa_blobid=4758169014264707121)
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.