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


Es ist

nach Fakt und

nach Axiom  (4). Modus ponens liefert