Prädikatenlogik/Quantoren/Tautologien/Ein Quantor/Ableitungen/Fakt/Beweis

Beweis

(1). Aufgrund der Alleinführung im Antezedens ist

und

Dies konjugiert (unter Verwendung von Fakt  (2)) ergibt

Ferner haben wir nach Fakt die aussagenlogische Tautologie

Damit ergibt sich aufgrund der Transitivität der Implikation die Ableitung

Da vorne und in gebunden vorkommt, gilt nach der Alleinführung im Sukzedens auch


Zu (2) siehe Aufgabe und Aufgabe.

(3). Aufgrund der Alleinführung im Antezedens ist

was wir als

schreiben. Wegen ist auch

was wir als

schreiben. Im Sukzedens ist gebunden, daher folgt aus der Existenzeinführung im Antezedens

was aussagenlogisch äquivalent zur Behauptung ist.

Zu (4) siehe Aufgabe.