Untitled

cuantificador existencial

• es predicado en logica matematica.
• Que simbolos se usan en el tema cuantificador existencial, E! este es llamado cuantificador existencial, existen elementos del conjunto, B , al que se refiere a la variable.
• Si tenemos dos conjuntos diferentes A y B, y A es un conjunto de B
• Existe al menos un elemento X de B que pertenece A¡ç
• al afirmar que existen al menos un X que pertenece a B y pertenece a A, quiere decir que no todos los elemento de B pertenecen a A, al ser A y B al ser conjuntos distintos, existe al menos un elemento Y de B que no pertenecce a A.
• que podemos leer. Existe al menos un elemento y en B, y este elemento Y no pertenece a .

CUANTIFICADOR DE EXISTENCIA UNICA

• * EXACTAMENTE UNO: todas las cosas son unicas, como por ejemplo, solo tenemos un padreo una madre, porque dos personas no pueden tener la misma madre excepto que sean hermanos pero no nos vamos a referir a hermanos en este momento o situacion
• denotado por P el conjunto de las personas por D el conjunto de personas que son madres, y por M (X,Y) EL PREDICADO " es madre de X" o bien " la madre de X ES Y " entonces queda formalizado asi
• (Ax entonces P) ( E! entonces D) M (X,Y)
• * UNICO: todas las personas tienen un unico numero de identidad estatalas asociado ( EJEMPLO: en españa, un numero de DNE (dos personas distintas no tiene el mismo numero en este caso son personas distintas las cuales tiene diferencia de numero, en otras palabras la correspondencia de personas a numeros es inyectiva)
• denotado por el conjunto P el conjunto de las personas por N el conjunto de numeros por I ( X, Y) el predicado " X tiene el numero de identidad que Y" entonces quedaria formalizado asi (Ax entonces P) E!! Y entoneces N) I (X,Y)
• observese que en este ejemplo la unidad se refiere a ambos, las personas, y los numeros quedando explisito que personas distintas no pueden tener numero distintos si no se especifica nada en contra al referirse al cuantificador de existencia unica se entiende el primero

Slide 3

• la logica formal, un cuantificador esa una expresion que indica la cantidad de veces que un predicado o propiedad P se satisface dentro de una determina clase ( EJEMPLO: pertenencia, equivalencia, u orden ) existen).
• 

clases de cuantificadores

• * CUANTIFICADOR UNIVERSAL: Se utiliza para afirmar que todos los elementos de un conjunto cumplen con una detrminacion propia.
• Ax entonces A: P(x
• * CUANTIFICADOR EXISTENCIAL: S e utiliza para indicar que hay uno o mas elementos en el conjunto A ( no necesariamente unicos que cumplen una determinada.
• Ex entonces A: P (X)

Slide 5

• *CUANTIFICADOR EXISTENCIAL UNICO: con marcha de unidad de usa para indicar que hay un solo elemnto de un conjunto dado A
• que cumple una determinada propiedad EJEMPLO
• E!x entonces A : P(x)