Aussagenlogik/Vollständigkeitssatz/Tautologie/Konstruktiv/Fakt

Es sei eine aussagenlogische Tautologie.

Dann lässt sich dazu konstruktiv eine Ableitung für angeben.