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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob widersprüchlich

ist oder nicht.
Zur Lösung, Alternative Lösung erstellen