Prädikatenlogik/Vollständigkeitssatz/Erfüllbar und widerspruchsfrei/Fakt

Es sei ${}S$ ein Symbolalphabet und ${}\Gamma$ eine Menge an ${}S$ -Ausdrücken.

Dann ist ${}\Gamma$ genau dann widerspruchsfrei, wenn ${}\Gamma$ erfüllbar ist.

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