Está en la página 1de 11

Estudiante:

yina margarita garay fuerte

Cuantificación existencial
2
Cuantificación existencial
El cuantificador existencial se usa para indicar que hay uno o más elementos en
el conjunto A (no necesariamente único/s) que cumplen una determinada
propiedad. Se escribe:
∃x∈A:P(x)
Existe x en A que cumple P(x).
Esta proposición suele interpretarse como la equivalente de la proposición
siguiente:
{x∈A:P(x)}≠∅
El conjunto de los elementos x de A, que cumplen P(x) es distinto del
conjunto vacío.

3
Cuantificación existencial única
El cuantificador existencial con marca de unicidad se usa para indicar
que hay un único elemento de un conjunto A que cumple una
determinada propiedad. Se escribe:
∃!x∈A:P(x)
Se lee:
Existe una única x elementos de A, que cumple P(x).

4
Equivalencias
Se tienen las siguientes relaciones universales:
∀x∈A:P(x)⟷¬∃x∈A:¬P(x)
Si: para todo x de A se cumple P(x), es equivalente a: no
existe x en A que no cumpla P(x).
∃x∈A:P(x)⟷¬∀x∈A:¬P(x)
Si: existe x en A que cumple P(x), es equivalente a: no para todo x de A, no se
cumple P(x).

5
Ejemplos

6
Ejemplos 1
Si tenemos el conjunto A= {7,8,9} ¿se cumple o no se cumple?
; (X es par)
Se lee: Existe al menos un X que pertenece al
conjunto A; y que cumple que ¿X es par?

Veamos:
¿7 es par?= (falso)

¿8 es par?= (verdadero)
¿9 es par?= (falso)

7
Ejemplos
Si tenemos el conjunto G = { 8,10,12}
; (X + 2 > 12)

Se lee:

Existe por lo menos un X que pertenece al


conjunto G, y que cumple que ¿X + 2 >
12? Veamos:
(X+2 >12)
(8+2>12)= (falso)
(10+2>12)= (falso)
(12+2>12)= (verdadero)

8
Ejemplos 2
Se lee:
Existe una única x elemento A, que cumplen P(x).
Todos los planetas serian habitantes si todos ellos tuvieran las mismas
condiciones que la tierra aunque podría ser posible algún día.
X: Todos los planetas serian habitables
A: si todos ellos tuvieran las mismas condiciones que la tierra
P(x): aunque podría ser posible algún día.
Representación simbólica

9
Bibliografía
 Cardona, T. S. A. (2010). Lógica matemática para
ingeniería de sistemas y computación. (pp. 106 -
112). Ediciones Elizcom, Madrid.
 www.matematicaspasoapaso.com
recuperado de
https://www.youtube.com/watch?v=FJLC_
zpJ6SI&t=35s
 Black, K.C. (2017) https://www.emaze.com/.
Recuperado de
https://www.emaze.com/@AOOZCZWCI

10
GRACIAS
Por su
atención

También podría gustarte