Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt/Beweis

Beweis

Dies ergibt sich aus den einzelnen Korrektheitsüberlegungen im Anschluss an die Ableitungsregeln, siehe beispielsweise Fakt.

Zur bewiesenen Aussage