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

Es sei ${}p$ eine Aussagenvariable und ${}\alpha \in L^{V}$ eine Aussage, in der die Variable ${}p$ nicht vorkommt. Es gelte

$\{p\}\vdash \alpha .$

Zeige, dass bereits

$\vdash \alpha$

gilt.

Eine Lösung erstellen