Aussagenlogik/Vollständigkeitssatz/Tautologie/Konstruktiv/Fakt

Aus Wikiversity

Es sei eine aussagenlogische Tautologie.

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