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
Abgerufen von „https://de.wikiversity.org/w/index.php?title=Vollständigkeitssatz/Korrektheitssatz_für_Tautologien/Fakt/Beweis&oldid=456239“