Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Maximal widerspruchsfrei

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