Ausdrucksmenge/Maximal widerspruchsfrei/Definition
Erscheinungsbild
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.