kvantifikálás
Kvantifikálás (kvantifikálás) a logikában és a formális nyelvészetben arra a műveletre utal, amelyben egy változót kötünk egy predikátumban, ezzel mondatokat vagy állításokat hozunk létre. A kvantifikátorok megadják, hogy a predikátum igaz-e minden elemen egyetemes módon, vagy van-e olyan elem, amelyre igaz. A leggyakoribb formák az univerzális kvantifikátor (∀) és az egzisztenciális kvantifikátor (∃).
Írásmódban példák: ∀x P(x) jelentése: „minden x-re P(x) igaz”; ∃x P(x) jelentése: „létezik olyan x, amelyre P(x)
Használata különböző területeken eltérő, de közös: a formális érvelés, bizonyítások megfogalmazása és a nyelv szemantikájának leírása.