Existenzeinführung im Sukzedens/Alleinführung im Antezedens/Aufgabe
Zeige, dass in der Prädikatenlogik die Alleinführung im Antezedens ableitbar ist, also dass für eine Variable , einen Term und einen Ausdruck
Zeige, dass in der Prädikatenlogik die Alleinführung im Antezedens ableitbar ist, also dass für eine Variable , einen Term und einen Ausdruck