Als Universum kommen oft reelle/rationale/ganze/natürliche und deren endliche Teilmengen in Frage.
Als zweistellige Relationen kommen oft <, ≤, =, > und ≥ in Frage.
Als zweistellige Funktionen kommen oft +, -, ·, : in Frage.
y ist freie Variable, das heißt du kannst schon mal recht einfach bestimmen, ob E(x,y) wahr oder falsch ist.
Ist E(x,y) falsch, dann ist die Formel schon mal wahr.
Ist E(x,y) wahr, dann kannst du f(x,z) = x setzen (dann ist E(f(x,z), y) wahr) und du brachst nur noch E(y,z) für alle z wahr machen, damit die Formel falsch ist.
