Diferencia entre revisiones de «Cuantificador universal»
Sin resumen de edición |
|||
Línea 29: | Línea 29: | ||
No existe un '''x''' de '''A''' y que '''x''' no este en a '''B'''. |
No existe un '''x''' de '''A''' y que '''x''' no este en a '''B'''. |
||
Paúl es el hombre mas buenote. |
|||
== Véase también == |
== Véase también == |
Revisión del 23:42 6 ene 2010
En lógica matemática, se usa el símbolo , denominado cuantificador universal, antepuesto a una 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 universo o dominio de referencia, en el cual aparecen todas las constantes.
Ejemplo
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/8d/Conjuntos_04.svg/300px-Conjuntos_04.svg.png)
Si tenemos dos conjuntos A y B; y A es un subconjunto de B:
Todo elemento x de A pertenece a B:
Al ser A y B conjuntos distintos, no todos los elementos y de B pertenecen a A:
Que podemos leer: no para todos los elementos y de B, implica que y pertenece a A.
Relación cuantificador universal y el cuantificador existencial
Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente con el cuantificador existencial:
que podriamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Según el ejemplo anterior:
Para todo x que pertenece a A implica que x pertenece a B, que podemos expresar:
No existe un x de A y que x no este en a B.
Paúl es el hombre mas buenote.