Quantorenunverträglichkeit
Als Quantorenunverträglichkeit bezeichnet man die Eigenschaft der Prädikatenlogik erster Stufe, dass der Allquantor 
sich nicht mit der Disjunktion und der Existenzquantor 
sich nicht mit der Konjunktion "versteht" (es gilt kein Distributivgesetz für diese Quantoren und Operatoren):
Beispiel
Die Aussage
- Für jedes Auto gilt: es fährt oder es steht
ist nicht gleichbedeutend mit der Aussage
- Jedes Auto steht oder jedes Auto fährt,
weil im letzteren Fall entweder kein Auto fährt (Verkehrsstille) oder aber alle Autos fahren (Verkehrschaos), aber kein Zwischenzustand möglich ist, wie
- Einige Autos fahren, andere nicht.