Aussagenlogik/Ausdrucksmenge/Widersprüchlich/Definition

Widersprüchliche Ausdrucksmenge (Aussagenlogik)

Eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge heißt widersprüchlich, wenn es einen Ausdruck mit und gibt.