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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Daraus und aus der Voraussetzung

ergibt sich mittels Modus Ponens (Fakt  (3))

Zur gelösten Aufgabe