Implikation/Allimplikation/Regel/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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,

Zur bewiesenen Aussage