Diferencia entre revisiones de «Cuantificador universal»
Contenido eliminado Contenido añadido
ASI SE LLAMAN LOS CUANTIFICADORES |
|||
Línea 1:
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 ∀.
Normalmente, en lógica, el conjunto al que se refiere es el [[dominio de referencia|
== Ejemplo: ==
| |||