Aussagenlogik/Endliche Ausdrucksmenge/Widersprüchlich/Test/Aufgabe
Erscheinungsbild
Es sei eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob widersprüchlich ist oder nicht.
Es sei eine endliche Menge an Aussagen. Skizziere ein Entscheidungsverfahren, mit dem man feststellen kann, ob widersprüchlich ist oder nicht.