Ableitungskalkül/p/Aussage ohne p/Tautologie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Aussagenvariable und eine Aussage, in der die Variable nicht vorkommt. Es gelte

Zeige, dass bereits

gilt.
Eine Lösung erstellen