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.