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.