Prädikatenlogik/Quantoren/Tautologie/Existenzvertauschung/Fakt/Beweis/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Durch Existenzeinführung im Sukzedenz haben wir

und

und daraus

Dabei ist hinten gebunden und somit kann man mit der Existenzeinführung im Antezedens auf

schließen. Da auch hinten gebunden ist, ergibt sich

Zur gelösten Aufgabe