Diferencia entre revisiones de «Cuantificador universal»

En [[lógica]], se usa el símbolo <math> \forall </math>, denominado '''cuantificador universauniversal''',<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 ∀.