Prädikatenlogik/Ausdrücke/Alternative und abgeschlossen/Maximal widerspruchsfrei/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Menge an -Ausdrücken (über einem Symbolalphabet ), die folgende Eigenschaften erfüllt.

  1. Für jeden Ausdruck ist oder .
  2. Aus folgt , d.h. ist abgeschlossen unter Ableitungen.
  3. ist widerspruchsfrei.
Zeige, dass maximal widerspruchsfrei ist.
Eine Lösung erstellen