Prädikatenlogik/Substitution/Exists x x ist c/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die zu substituierende Variable kommt im Ausdruck nicht frei vor. Somit ist jedenfalls für den jeweiligen Term

Da die relevante Termmenge leer ist, ist

Also ist

Zur gelösten Aufgabe