Implikation/Allimplikation/Regel/Fakt/Beweis/Aufgabe/Lösung


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,