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

Zur gelösten Aufgabe