Aussagenlogik/Ableitungskalkül/p impliziert (q impliziert p und q)/Aufgabe/Lösung

Aus Wikiversity


Es ist

nach Fakt und

nach Axiom  (4). Modus ponens liefert