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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es ist

nach Fakt und

nach Axiom  (4). Modus Ponens liefert

Zur gelösten Aufgabe