PENSAMIENTO LOGICO MATEMATICO

UNIDAD 1

EJERCICIO : 1

C: CUANTIFICADORES EN LÓGICA MATEMÁTICAS

ESTUDIANTE:
CINDY PAOLA BERMÚDEZ
CÓDIGO:
1.020.784.890

GRUPO:
200611_41

TUTOR:
ARNOL ORTIZ ARMERO

UNIVERCIDAD NACIONAL ABIERTA Y A DSITANCIA

(UNAD)
2018

 
CUANTIFICADOR EXISTENCIAL ÚNICO

  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)
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).

En cuanto al cuantificador existencial único puede considerarse

una extensión por definición en un lenguaje formal con igualdad
teniendo dada la equivalencia:

∃!x∈A:P(x)⟷∃z∈A ∀x,y∈A:P(z)∧(P(x)∧P(y)→x=y)Si: existe un
único x en A que cumple P(x), es equivalente a: para
todo x, y de A, que cumple P(x) y P(y), entonces x es igual
a y.
EJEMPLOS

Si tenemos dos conjuntos diferentes A y  B, y A es

un subconjunto de  B:

existe al menos un elemento  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 elemento 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.

Cuantificador existencial. (2018, 18 de febrero). Wikipedia, La enciclopedia

libre. Fecha de consulta: 19:15, septiembre 17, 2018 desde 
https://es.wikipedia.org/w/index.php?title=Cuantificador_existencial&oldid=
105662261
.
 BIBLIOGRAFÍAS

 Cuantificador existencial. (2018, 18 de febrero). Wikipedia, La

enciclopedia libre. Fecha de consulta: 19:15, septiembre 17, 2018
desde 
https://es.wikipedia.org/w/index.php?title=Cuantificador_existencial&o
ldid=105662261
.

 Cuantificador. (2018, 14 de agosto). Wikipedia, La enciclopedia libre.

Fecha de consulta: 19:16, septiembre 17, 2018 desde 
https://es.wikipedia.org/w/index.php?title=Cuantificador&oldid=10994
7828
.