Zum Inhalt springen

Aussagenlogik/Ausdrucksmenge/Widerspruchsfrei/Widersprüchlich/Definition

Aus Wikiversity
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. Eine nicht widersprüchliche Ausdrucksmenge heißt widerspruchsfrei.