Prädikatenlogik/Quantoren/Tautologie/Existenzvertauschung/Fakt/Beweis/Aufgabe/Lösung
Zur Navigation springen
Zur Suche springen
Zur gelösten Aufgabe
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