Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Tautologie/Aussage/Ableitung/Variablenbeschränkung/Aufgabe
Sprache
Beobachten
Bearbeiten
Es sei
α
{\displaystyle {}\alpha }
eine ableitbare Tautologie. Zeige, dass es eine Ableitung für
α
{\displaystyle {}\alpha }
gibt, bei der in jedem Ableitungsschritt nur Aussagenvariablen auftreten, die in
α
{\displaystyle {}\alpha }
vorkommen.
Eine Lösung erstellen