quantifier (Q323): Difference between revisions
Jump to navigation
Jump to search
Created a new Item: quantifier, logical operator specifying how many entities in the domain of discourse that satisfy an open formula |
Created claim: has use (P29): quantification (Q325) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Property / subclass of | |||
| Property / subclass of: operator / rank | |||
Normal rank | |||
| Property / subclass of | |||
| Property / subclass of: operator / rank | |||
Normal rank | |||
| 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 |
|