Hipi Zhdripi i Matematikës/Kuantifikatorët

Kuantifikatorët NË ENCIKLOPEDI

---

Sikurse se me metodën e zëvendësimit, me të cilën, funksionet e gjykimeve F₁(x), F₂(x, y), F₃(x, y, z), . . . shndërrohen në gjykime po ashtu funksionet mund të shëndrohen në gjykime edhe duke përdorur kuantifikatorët $\scriptstyle {\forall }$ dhe $\scriptstyle {\exists }$, të cilëve u përgjigjen fjalët "çdo" ("secili") dhe "ekziston" ("ndonjë" , "së paku një"). Simboli $\scriptstyle {\forall }$ quhet kuantifikator universal (i përgjithshëm), ndërkaq $\scriptstyle {\exists }$ kuantifikator i ekzistimit.

Simboli

• $\scriptstyle {\forall }$
• $\scriptstyle {\exists }$
• $\scriptstyle {\exists !}$