Aussagenlogik/Endliche Ausdrucksmenge/Widersprüchlich/Test/Aufgabe

< Aussagenlogik < Endliche Ausdrucksmenge < Widersprüchlich < Test

Es sei ${}\Gamma \subseteq L^{V}$ eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob ${}\Gamma$ widersprüchlich

ist oder nicht.

Zur Lösung, Alternative Lösung erstellen

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