next up previous contents
Next: Lausearvutus (propositional calculus) Up: No Title Previous: Kujutus (mapping)

Kvantor (quantifier)

- operaator, mille rakendamine predikaadile annab predikaadi kvantitatiivse hinnangu teatava argumendi väärtuste järgi. Vt. üldsus- ja eksistentsikvantor.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996