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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es ist

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

Daher ist