Zum Inhalt springen

Implikation/Allimplikation/Regel/Fakt/Beweis

Aus Wikiversity
Beweis

Aus der ableitbaren Implikation

ergibt sich mittels der Alleinführung im Antezedens

und dem Kettenschluss

und daraus mit der Alleinführung im Sukzedens, die anwendbar ist, da vorne und in gebunden ist,