발음
-
[ˈalˌkvantoːɐ̯]
명사
Operator, der ausdrückt, dass eine bestimmte Bedingung für alle Objekte zutrifft
용법- Prädikatenlogik
- 동의어
- Universalquantor
- 상위어
- QuantifikatorQuantor
- 예문
-
„Die Ausdrücke ‚für alle…‘ und ‚es gibt…‘ heißen Quantoren. Dabei heißt ‚für alle…‘ Allquantor und ‚es gibt…‘ Existenzquantor.“
„Gleichzeitig zeigt dieses Beispiel, dass der Allquantor und der Aspekt nicht ein und demselben Operator ohne Skopusunterschiede zugeschrieben werden können.“
더 많은 예문 (1)
„Hier zeigt sich wiederum ein deutlicher Unterschied zwischen der Analyse des Wortes ‚omnis‘ in der Logik des Mittelalters und dem Allquantor in der modernen Logik.“