UNIDAD 1

TAREA 1 – PROPOSICIONES Y TABLES DE VERDAD

EJERCICIO 1
CONSECTUALIZACIO DE CUAANTIFICADORES
TEMA
CUANTIFICADOR EXISTENCIAL UNICO

ROCIO DEL PIALR MENDIETA TOVAR

TUTOR
FABIO SOSA

PENSAMIENTO LOGICO Y MATEMATICO

200611-614

UNIVERCIDAD NACIONAL ABIERTA Y A DISTACIA - UNAD

CONCEPTIALIZACION DE CUANTIFICADOR
Los cuantificadores son símbolos que se emplean en los mencionados contextos
para poder señalar cuantos o tipos de elementos que integran un conjunto dado y
que cumplan con determinada propiedad, adicional a esto existe variedad de
cuantificadores, a una los más empleados son el CUANTIFICADOR UNIVERSAL y
el CUANTIFICADOR EXISTENCIAL

CUANTIFICADOR UNIVERSAL
El propósito principal de este cuantificador es cumplir con la misión de establecer
que todos los elementos de un conjunto cumplan con una propiedad dada y se
simboliza así

ꓯ
y se puede leer como: “para todo” “Para cualquier” “para cada “
EJEMPLO 1
Todo árbol es verde
Para todo X. si X es árbol entonces X es verde

(ꓯx)(Ax→Vx)
EJEMPLO 2
Todo gato es cariñoso
Para todo X. si X es gato entonces X es cariñoso

(ꓯx) (Gx →Cx)

TIPOS DE CUANTIFICADOR UNIVERSAL:

CUANTIFICADOR UNIVERSAL AFIRMATIVO.

Las frases que denotan este cuantificador son:
 TODOS X- TODO X
 PARA CADA X
 CADA X
 CADA UNO X
 SIEMPRE QUE X
 CUALQUIER
 EJEMPLO 1
Siempre que paseo en cicla me dan ganas de beber agua y comer

ꓯx(paseoenlacicla(x)→ganasbeberagua(x)ᶺ ganascomer(x)
EJEMPLO 2
Para todo hombre existe una mujer

ꓯx(hombre(x)→existemujer(x))

CUANTIFICADOR UNIVERSAL NEGATIVO:

Las frases que denotan este cuantificador son:
 PARA NINGUN X
 NINGUNO
 NO
 NADIE
 NADA

EJEMPLO: 1
Ninguno prestara la moto mañana

ꓯx(¬prestaralamoto(x))
EJEMPLO: 2
Para ninguno habrá notas

ꓯx (¬habranotas(x))

CUANTIFICADOR EXISTENCIAL
En el lenguaje de predicados en lógica matemática, se usa el símbolo.
ⱻ
Llamado cuantificador existencial, antepuesto una variable Para decir que “existe”
al menos un elemento del conjunto, B al que hace referencia la variable. Y que
cumple una proposición, existe tres formas de convertir una proposición.
Las palabras que se denotan son :
  HAY
 ALMENOS
 ALGUNOS
 ALGUNAS

EJEMPLO:1
Existe al menos un ventilar bueno
ⱻx(px)

TEMA : CUANTIFICADOR EXIXTENCAIL UNICO

Se denota con el símbolo

ⱻỊ
y se utiliza para indicar que existe un único elemento en el conjunto A que cumple
con una condición específica o determinada. Se escribiría asi:
ⱻ!xϵA:P(X)
Se lee de esta forma
Existe una única X elemento de A que cumple P(X)
Existe un único X que pertenece a A tal que X P(X) es verdadero

Ejemplo 1
P(X):X/X ES MUJER Q(X)= X/X ES MEXICANA R(X)=X/XFUE TIA DE MAS DE 10
SOBRINOS
ⱻỊX:P (X) ᶺ q(x)ᶺ r(x)existe un unico X tal que es X es mujer , es mexicana y es tia
de mas de 10 sobrinos

EJEMPLO 2
P(X):X/X ES UNA MUJER. Q(X)=X/X DE ITALIA. R(X)=X/X ES MODISTA
ⱻỊX:Q(X)ᶺR(X) EXISTE UN UNICO X TAL QUE X ES LA MUJER , DE ITALIA Y
MODISTA
DIAPOSITIVAS
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. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=109&do
cID=3199701&tm=1529510366591

REFERENCIA :
Wisniewski, P. M., & Gutiérrez, B. A. L. (2011). Introducción a las matemáticas
universitarias. México: McGraw-Hill Interamericana. Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10473
069

https://www.definicionabc.com/general/cuantificadores.php