Aussagenlogik/Semantische Kontradiktion/Definition
Kontradiktion (semantisch)
Ein Ausdruck (zu einer Menge von Aussagenvariablen ) heißt (semantische) Kontradiktion (oder Widerspruch), wenn für jede Wahrheitsbelegung die Beziehung
gilt.
Ein Ausdruck
(zu einer Menge von
Aussagenvariablen
)
heißt
(semantische)
Kontradiktion
(oder
Widerspruch),
wenn für jede
Wahrheitsbelegung
die Beziehung
gilt.