Diferencia entre revisiones de «Cuantificador existencial»
m Revertidos los cambios de 190.42.38.179 a la última edición de |
|||
Línea 11: | Línea 11: | ||
: <math> \exists x \in B \; \land \; x \in A \, </math> |
: <math> \exists x \in B \; \land \; x \in A \, </math> |
||
Al afirmar que existe al menos un '''x''' que pertenece a '''B''' y pertenece a '''A''' |
Al afirmar que existe al menos un '''x''' que pertenece a '''B''' y pertenece a '''A''', quiere decir que no todos los elementos de '''B''' pertenecen a '''A''', al ser '''A''' y '''B''' conjuntos distintos, existe al menos un elemnto '''y''' de '''B''' que no pertenece a '''A''': |
||
: <math> \exists y \in B \; \land \; y \notin A \, </math> |
: <math> \exists y \in B \; \land \; y \notin A \, </math> |
||
Revisión del 22:13 30 mar 2010
En lógica matemática, se usa el símbolo: , llamado cuantificador existencial, antepuesto a una variable para decir que "existe" al menos un elemento del conjunto al que hace referencia la variable, que cumple la proposición escrita a continuación.
Normalmente, en lógica, el conjunto al que se hace referencia es el universo o dominio de referencia, que está formado por todas las constantes.
Ejemplo
Si tenemos dos conjuntos A y B, y A es un subconjunto de B:
existe al menos un elemento x de B que pertenece a A:
Al afirmar que existe al menos un x que pertenece a B y pertenece a A, quiere decir que no todos los elementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemnto y de B que no pertenece a A:
Que podemos leer: existe al menos un elemento y en B, y este elemento y no pertenece a A.