Zum Inhalt springen

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

Aus Wikiversity


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

Daraus und aus der Voraussetzung

ergibt sich mittels Modus ponens (Fakt  (3))