Quantificador universal: diferència entre les revisions

En [[lògica matemàtica]], es fa servir el símbol <math> \forall </math>, anomenat '''quantificador universal''', anteposat a una [[variable (matemàtiques) |variable]] per dir que "per a tot" element d'un cert [[conjunt]] es compleix la [[proposició]] donada a continuació. El text es pot representar amb el caràcter ∀. Normalment, en lògica, el conjunt al qual es refereix és el [[domini de referència|univers o domini de referència]], en el qual apareixen totes les [[Constant matemàtica|constants]].<ref>{{Ref-llibre |títol = Diccionario de Filosofía|edició = 1a|llengua = castellà|data = 2003|editorial = SPES Editorial (edició especial per a RBA Editoriales)|lloc = Barcelona|pàgines = 5|isbn = 84-8332-398-2|col·lecció = Biblioteca de Consulta Larousse}}</ref>