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