Tautologie/Aussage/Ableitung/Variablenbeschränkung/Aufgabe

Es sei ${}\alpha$ eine ableitbare Tautologie. Zeige, dass es eine Ableitung für ${}\alpha$ gibt, bei der in jedem Ableitungsschritt nur Aussagenvariablen auftreten, die in ${}\alpha$ vorkommen.

Eine Lösung erstellen