Ausdrucksmenge/Maximal widerspruchsfrei/Definition

Maximal widerspruchsfrei

Eine Menge $\mathrm{\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 \mathrm{\Gamma }$  die Menge widersprüchlich macht.