Vollständigkeitssatz/Korrektheitssatz für Tautologien/Fakt

< Vollständigkeitssatz < Korrektheitssatz für Tautologien

Korrektheitssatz für Tautologien

Es sei ${}S$ ein Symbolalphabet und sei ${}\alpha \in L^{S}$ eine syntaktische Tautologie.

Dann ist ${}\alpha$ auch eine semantische Tautologie.

Zum Beweis, Alternativen Beweis erstellen

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