Implikation/Allimplikation/Regel/Fakt/Beweis/Aufgabe/Lösung
Erscheinungsbild
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,