quantifier (Q323)

From Azupedia
Revision as of 18:53, 22 January 2023 by Fire (talk | contribs) (‎Created claim: subclass of (P1): operator (Q324))
Jump to navigation Jump to search
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
  • quantor
  • logical quantification
  • logical quantifier
  • quantification

Statements

0 references
0 references