Aussagenlogik/Widersprüchlich/Äquivalente Formulierungen/Aufgabe
Erscheinungsbild
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge . Zeige, dass folgende Aussagen äquivalent sind.
- ist widersprüchlich.
- Für jedes ist und .
- Es ist .