quantifier (Q323): Difference between revisions
Jump to navigation
Jump to search
Created claim: subclass of (P1): operator (Q324) |
Created claim: has use (P29): quantification (Q325) |
||
| Property / has use | |||
| Property / has use: quantification / rank | |||
Normal rank | |||
Latest 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 |
|