Zum Inhalt springen

Aussagenlogik/Widersprüchlich/Äquivalente Formulierungen/Aufgabe

Aus Wikiversity

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge . Zeige, dass folgende Aussagen äquivalent sind.

  1. ist widersprüchlich.
  2. Für jedes ist und .
  3. Es ist .