quantifier (Q323): Difference between revisions
Jump to navigation
Jump to search
Created claim: subclass of (P1): operator (Q324) |
Created claim: subclass of (P1): operator (Q324) |
||
Property / subclass of | |||
Property / subclass of: operator / rank | |||
Normal rank |
Revision as of 18:53, 22 January 2023
logical operator specifying how many entities in the domain of discourse that satisfy an open formula
- quantor
- logical quantification
- logical quantifier
- quantification
Language | Label | Description | Also known as |
---|---|---|---|
English | quantifier |
logical operator specifying how many entities in the domain of discourse that satisfy an open formula |
|