Diferencia entre revisiones de «Cuantificador universal»

En [[lógica]], se usa el símbolo <math> \forall </math>, denominado '''cuantificador universal''',<ref name=DPDap4>[http://www.rae.es/dpd/apendices/apendice4.html Lista de signos o símbolos no alfabetizables en el diccionario panhispánico de dudas, apéndice 4]</ref> antepuesto a una [[Variable (matemáticas)|variable]] para decir que "para todo" elemento de un cierto [[conjunto]] se cumple la [[proposición]] dada a continuación. En texto se puede representar con el carácter ∀.<ref>{{Cita publicación|url=http://ocw.um.es/ingenierias/curso-cero-matematicas-y-sus-aplicaciones/material-de-clase-1/tema5t.pdf|título=Matemáticas y sus aplicaciones: Curso Cero (2012)|apellidos=Marín Muñoz|nombre=Leandro|fecha=2012|publicación=OpenCourseWare (OCW)|fechaacceso=|doi=|pmid=}}</ref>