cuantificador existencial
Sean A el conjunto de estudiantes de un curso y x un alumno cualquieraperteneciente a A:
∃! xϵA|x < 18 significa: existe un único alumno en A menor de 18 años
La negación de esta proposición es, en palabras: no existe un único alumno en el curso A que sea menor de 18años; esto equivale a decir, existen varios alumnos del curso A menores de 18 años, lo cual se representa con la simbología proposicional como:
∃xϵA|x < 18
Existe al menos un alumno del curso Aque tiene menos de 18 años. En resumen:
∼(∃! xϵA|x < 18) (∃xϵA|x < 18)
Cuantificador existencial
En el lenguaje de predicados en lógica matemática, se usa el símbolo: , llamado cuantificadorexistencial, antepuesto a una variable para decir que "existe" al menos un elemento delconjunto al que hace referencia la variable, que cumple la proposición escrita a continuación.
Normalmente, enlógica, el conjunto al que se hace referencia es el universo o dominio de referencia, que está formado por todas las constantes.[cita requerida]
Ejemplo [editar]
Si tenemos dos conjuntosdiferentes 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 loselementos de B pertenecen a A, al ser A y B conjuntos distintos, existe al menos un elemento y de B que no pertenece a A:
Que podemos leer: existe al menos un elemento y en B, y este elemento y nopertenece a A.
Véase también
http://es.wikipedia.org/wiki/Cuantificador_existencial
u=1-2-3
xEu
q(x)=x es par
existe un xEu que es par
E xEu q(x)
ese cuantificar existencial es que por lo menos unelemento cumple la condición que pongas en una ecuacion o preposicion como el ejemplo del video
por eso para que la expresion sea verdadera tiene que existir un elemento o numero que cumpla con...
Regístrate para leer el documento completo.