Aussagenlogik/Ableitungsbeziehung/Konjugierter Modus ponens/Aufgabe/Lösung


Aus der Voraussetzung und der Konjunktionsregel (Fakt  (1)) ergibt sich

Daraus und aus der Voraussetzung

ergibt sich mittels Modus ponens (Fakt  (3))