Enzyklopädie > Q > Quantorenunverträglichkeit
Quantorenunverträglichkeit
Als Quantorenunverträglichkeit bezeichnet man die Eigenschaft der Prädikatenlogik erster Stufe, dass der Allquantor forall sich nicht mit der Disjunktion und der Existenzquantor exists sich nicht mit der Konjunktion "versteht" (es gilt kein Distributivgesetz für diese Quantoren und Operatoren):
Mehr Informationen (Wikipedia)
Die Informationen wurden von Wikipedia übernommen, einer offenen Enzyklopädie in welche Freiwillige ihre Beiträge beisteuern.
Die Texte sind unter den Bedingungen der GNU Free Documentation License zugänglich.Encyklopedie (cz) Encyklopédia (sk) Encyclopedia (en)