Existenzeinführung im Antezedens/Keine interne Tautologie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Zeige, dass der Ausdruck

keine Tautologie ist

(auch nicht, wenn weder in noch in frei vorkommt).
Eine Lösung erstellen