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

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

Zeige, dass bereits

gilt.