Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Dies ergibt sich aus den einzelnen Korrektheitsüberlegungen im Anschluss an die Ableitungsregeln, siehe beispielsweise Fakt.