Existenzeinführung im Sukzedens/Alleinführung im Antezedens/Negierter Ausdruck/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beweise allein aus der Existenzeinführung im Sukzedens und aussagenlogischen Gesetzen die Alleinführung im Antezedens, also dass für eine Variable , einen Term und einen Ausdruck

eine Tautologie

ist.
Eine Lösung erstellen