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

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

Zur bewiesenen Aussage
This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.