Vidi fonton por Universala kvantizanto

Je [[predikata logiko]], la '''universala kvantizanto'''<ref>[[Nova Plena Ilustrita Vortaro de Esperanto]]: [http://vortaro.net/#kvantizanto kvant/iz/ant/o] “universala kvantizanto”</ref> estas [[kvantizanto]], kiu signas ke ĉiu ajn valoro de la kvantizita variablo en la diskursa [[universo]] plenumas la kvantizitan formulon. La signo de la universala kvantizanto estas ∀.

== Difino ==
La sintakso
:<math>\forall x\colon \phi(x)</math>
signifas ke, por ajna valoro de <math>x</math> en la diskursa universo, la formulo <math>\phi(x)</math> estas valida. Ekzemple, se <math>1</math> estas en la diskursa universo, do la formulo <math>\phi(1)</math> validas; simile <math>\phi(2)</math>, <Math>\phi(-1)</math>, ktp.

Kelkfoje, oni povas limigi la eblajn valorojn de <math>x</math> per la jena sintakso:
:<math>\forall x\in S\colon \phi(x)</math>
La ĉi-supro signifas, ke la formulo <math>\phi(x)</math> estas valida, se <math>x</math> apartenas al la aro aŭ klaso <math>S</math>. Alivorte, ĝi estas ekvivalenta al la ĉi-suba formulo:
:<math>\forall x\colon (x\in S\implies \phi(x))</math>.

== Referencoj ==
{{Referencoj}}

== Eksteraj ligiloj ==
{{Projektoj}}
* {{citaĵo el la reto | url= https://www.danielclemente.com/logica/dn.eo.pdf | titolo = Enkonduko al natura dedukto | persona nomo = Daniel |familia nomo = Clemente Laboreo
| dato = 2004-08 | eldonejo = danielclemente.com| lingvo = eo}}

[[Kategorio:Logikaj simboloj]]
[[Kategorio:Kvanto]]