Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
(1). 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
(2) wird ähnlich wie (1) bewiesen oder darauf zurückgeführt.