Prädikatenlogik/Quantoren/Tautologie/Vertauschung/Fakt/Beweis

Aus Wikiversity
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.