Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Maximal widerspruchsfrei

Eine Menge an -Ausdrücken (über einem Symbolalphabet ) heißt maximal widerspruchsfrei, wenn sie widerspruchsfrei ist und wenn jede Hinzunahme eines jeden Ausdrucks die Menge widersprüchlich macht.