Tartalomjegyzék:
Meghatározás - Mit jelent a Quantifier?
A logika szerint a mennyiségi meghatározó olyan nyelvi elem, amely segít a mennyiségi meghatározás létrehozásában. Ez egy olyan konstrukció, amely megemlíti az adott diskurzus tartományban lévő minták számát, amely kielégíti az adott nyílt képletet. A számszerűsítőket nagyrészt a logikában, a természetes nyelvekben és a diszkrét matematikában használják.
A Techopedia magyarázza a Quantifier-t
A számszerűsítőket olyan számszerűsített kifejezésekben használják, amelyekben a szabad változókat a számszerűsítők kötik. Más szavakkal, a predikátumok változóit mennyiségileg számszerűsítik. A predikatív logikában két jól ismert számszerűsítőt használnak: az univerzális és az egzisztenciális számszerűsítőt. Az egyetemes kvantátor azt állítja, hogy a hatókörén belüli állítások igazak az egyedi változó minden értékére, míg az egzisztenciális számszerűsítő esetében azt állítja, hogy a hatálya alá tartozó állítások csak az adott változó bizonyos értékeire igazak. Az univerzális mennyiségi mutatót a symbol szimbólum jelöli, amely olyan, mint egy fordított A. Az egzisztenciális mennyiségi mutatót a ∃ szimbólum jelöli, amely olyan, mint egy hátrameneti E.
A számszerűsítő rangsor határozza meg az adott képleten belüli mennyiségi meghatározók lehetséges beágyazódási mélységét. Meg kell jegyezni, hogy a mennyiségi mutatók sorrendje kritikus a logika jelentése szempontjából. A kvantátorok széles körben használhatók a predikatív logikában és a diszkrét matematikában, mivel segítenek egy adott logikai állítás fordításában.
