Aussagenlogik/Endliche Ausdrucksmenge/Widersprüchlich/Test/Aufgabe
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.