EQUIVALENCIA ENTRE CUANTIFICADORES

Pensamiento lógico y matemático

Tutora
Elizabeth Puentes Montaño

Estudiante
Fredi Velosa Rodríguez

Curso
200611_160

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ECBTI INGENIERIA ELECTRONICA
 Introducción

 En la siguiente presentación se tocara el tema de equivalencia entre cuantificadores, se definirá el

tema como puede ser su estructura como su significado. Su utilidad en el uso de las
proposiciones.
Equivalencias entre
cuantificadores
Es la interpretación entre símbolos que demuestra la cantidad de veces que se
satisface un predicado, es decir p pertenece una cierta cantidad de veces en un
conjunto según clase de cuantificador. Ejemplo pertenencia, equivalencia u orden.
Cuantificador universal
∀ 𝑥, 𝑦 … …
Para todo x, y….
Ejemplo: ∀ 𝑥 ∈ ℝ, 2𝑥 ∈ ℝ
Para todo x que pertenece a ℝ, se cumple 2x pertenece a ℝ
 Todos los niños son del mismo jardín
∀𝑥 ∈ 𝑞
Cuantificador existencial
∃ 𝑥, 𝑦 …
Existe al menos un x, y
Ejemplo: ∀ 𝑎 ∈ ℝ, ∃ 𝑥 ∈ ℝ ∶ 𝑎 < 𝑥 < 𝑎+1
Para todo a que pertenece a ℝ, existe x que pertenece a ℝ, que esta comprendido entre a y a+1
las mujeres bailan salsa, existe alguna que baila merengue ∀ 𝑝 → 𝑞, ∃𝑝 → 𝑟
Cuantificador existencial único
∃! 𝑥, 𝑦 …
Existe exactamente un x, y
Ejemplo: ∀ 𝑎 ∈ ℝ − 0 , ∃! 𝑥 ∈ ℝ ∶ 𝑎 ∗ 𝑥 = 1
Para todo a que pertenece a ℝ diferente de cero, existe un único x que
pertenece a ℝ, que cumple que a por x es igual a 1
Todas las aves vuelan, existe un ave que nada
∀𝑝 → 𝑞, ∃! 𝑝 → 𝑟
Negación del cuantificador existencial
∄ 𝑥, 𝑦 …
No existe ningún x, y …
 Pertenencia: es aquel elemento x que hace parte de un conjunto A. el símbolo que lo interpreta es
∈.

𝑥∈𝐴
 Equivalencia: es todo elemento de un conjunto que guarda relación entre ellos, es decir comparte
alguna característica o propiedad llevándolos a poderse reagrupar es decir formar paquetes de
dichos elementos. Se simboliza con la expresión 𝓡.
∀ 𝒙 𝝐 𝑲 ∶ 𝒙ℛ𝒙
 Orden: es la formalización de la idea de la equivalencia es decir seguir las pautas a seguir en un
conjunto dando orden en sus elementos que guardan relación.
 Conclusión

Los cuantificadores es un método a considerar al expresar

algún argumento en componentes mas estructurados, es una
simbología que al ser codificada con un cierto valor nos ayuda a
interpretar e identificar proposiciones.
El tema fue de interés con la información proporcionada,
entendiendo su significado como su uso.
 Bibliografía

 Wikipedia Licencia creative commons atribución compartir. 29 mayo 2019.

equivalencia entre cuantificadores. recuperado de
https://es.wikipedia.org/wiki/Cuantificador
 Nancy Fabiola Contreras Diaz. marzo de 2019. Equivalencia entre
cuantificadores.(video). Recuperado de
https://www.youtube.com/watch?v=H1DJrh_NnNc