Aufgabe:
Wie wird diese Formel in PL1 erfüllt? Also welche Interpretation bzw Modell?
Problem/Ansatz:
Hoffe mir kann jemand helfen. Vielen dank.
Text erkannt:
c) \( \forall x \exists y>(x, y) \)
