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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

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

Zur bewiesenen Aussage