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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Beweise die aussagenlogische Tautologie

aus den aussagenlogischen

Axiomen.
Zur Lösung, Alternative Lösung erstellen