quantifier (1)
kvantor (1)
olemus
loogikas: muutuja konteksti defineeriv või muutev tarind, näiteks
abstraktsioonikvantor, eksistentsikvantor, üldsuskvantor
Wiktionary:
2. (logic) an operator, such as the universal quantifier (written as ∀) or the existential quantifier (∃), used in predicate calculus to indicate the degree that predicate is true for a specified set
ülevaateid
https://www.nitsri.ac.in/Department/Computer%20Science%20&%20Engineering/FOL6.pdf
https://www.encyclopediaofmath.org/index.php/Quantifier
https://en.wikipedia.org/wiki/Quantifier_(logic)
https://en.wikipedia.org/wiki/Generalized_quantifier
https://plato.stanford.edu/entries/generalized-quantifiers/
vt ka
- hulgasõna
- kvantormuutuja