Implikation/Allimplikation/Regel/Fakt/Beweis
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,