Dieser Artikel oder nachfolgende Abschnitt ist nicht hinreichend mit Belegen beispielsweise Einzelnachweisen ausgestattet Angaben ohne ausreichenden Beleg konnten demnachst entfernt werden Bitte hilf Wikipedia indem du die Angaben recherchierst und gute Belege einfugst Quantorenunvertraglichkeit bezeichnet die Eigenschaft der Pradikatenlogik erster Stufe dass der Allquantor displaystyle forall sich nicht mit der Disjunktion und der Existenzquantor displaystyle exists sich nicht mit der Konjunktion versteht es gilt kein Distributivgesetz fur diese Quantoren und Operatoren x F x x G x x F x G x displaystyle forall x colon F x lor forall x colon G x not equiv forall x colon F x lor G x x F x x G x x F x G x displaystyle exists x colon F x land exists x colon G x not equiv exists x colon F x land G x Beispiel BearbeitenDie Aussage Fur jedes Auto gilt es fahrt oder es stehtist nicht gleichbedeutend mit der Aussage Jedes Auto steht oder jedes Auto fahrt weil im letzteren Fall entweder kein Auto fahrt oder aber alle Autos fahren aber kein Zwischenzustand moglich ist wie Einige Autos fahren andere nicht Abgerufen von https de wikipedia org w index php title Quantorenunvertraglichkeit amp oldid 205327819
