Prädikatenlogik/Uminterpretation/Beispiel/1/Aufgabe/Lösung


Es ist

Ferner ist dieser Ausdruck von innen nach außen, bzw. von links nach rechts zu lesen, also als

Daher ist