CONCEPTUA L I Z A C I Ó N

∀
 

DE
CUANTIF I C A D O R E S
𝑋
 

∀ CARLOS AN D RÉ S A LDANA QUIROGA

 

20
GRUPO 200611 UNAD 20
CUANTIFICADOR UNIVERSAL
AFIRMATIVO …para todo x
…para cualquier x
ES AQUEL QUE ME AFIRMA UNA
PROPOSICIÓN DE TIPO UNIVERSAL EN …sea para todo x
LAS CUALES SE UTILIZA EL SÍMBOLO DE …siempre que x
UNA “A” MAYÚSCULA INVERTIDA, ANTE
…para cada x

∀
PUESTO DE UNA VARIABLE PARA  
INDICAR QUE LA VARIABLE O EL …cada uno de x
CONJUNTO CUMPLEN CON UNA
DETERMINADA PROPIEDAD …cualquiera que x
EJEMPLOS:
• TODOS LOS ESTUDIANTES ESTAMOS EN CLASES VIRTUALES EN TIEMPOS DE
PANDEMIA
ESTUDIANTES (X)ESTAMOS EN CLASES VIRTUALES EN TIEMPOS DE PANDEMIA)
• 
• PARA CADA ESTUDIANTE HAY INTERNET Y COMPUTADORA
(ESTUDIANTE (X)HAY INTERNET (X) ^ COMPUTADORA (X)
CUANTIFICADOR UNIVERSAL
NEGATIVO
¬ ∀𝑥
 

…ningún x
…nadie x
ES AQUEL QUE NIEGA UNA
AFIRMACIÓN Y SE UTILIZA PARA …nunca x
DENOTAR QUE UNA PROPOSICIÓN
NO CUMPLE CON CIERTA
…no x
CONDICIÓN …nada de x
…ninguno x
EJEMPLOS:

• NO TODOS LOS BOGOTANOS ESTÁN ACATANDO LAS MEDIDAS DE BIOSEGURIDAD

• 
• NINGUNO DE MIS COMPAÑEROS TIENE ELECOPTERO
CUANTIFICADOR EXISTENCIAL

∃
 

• ES AQUEL QUE NOS INDICA EN UNA

PROPOCICIÓN SE CUMPLE CON ALGO O
EXISTE AL MENOS UN ELEMENTO EN
UN DETERMINADO CONJUNTO AL QUE
HACE REFERNCIA LA VARIABLE. existe al menos
• SE UTILIZA EL SIMBOLO DE UNA “E” un x…
MAYUSCULA INVERTIDA, SE LEE EXISTE
POR LO MENOS UNO DE…
EJEMPLOS:
• ALGÚN NUMERO ES PAR DENTRO DE ESTE GRUPO DE NÚMEROS {5,1,3,6,9,11}
DENOTAMOS EL CONJUNTO A{5,1,3,6,9,11}
EXISTE AL MENOS UN X QUE PERTENECE AL CONJUNTO A, Y CUMPLE QUE ¿ X ES PAR?

• 

• EXISTE AL MENOS UN ESTUDIANTE MAYOR DE 40 AÑOS

B{28,19,21,22,39,32} EDAD DE LOS ESTUDIANTES.
CUANTIFICADOR EXISTENCIAL ÚNICO
∃!
 

• ESTE CUANTIFICADOR SE UTILIZA

PARA DECIR QUE HAY UN ÚNICO Existe algún x…
O UNICOS ELEMENTOS DENTRO
DEL CONJUNTO QUE CUMPLE CON Hay algún x…
UNA VERDADERA CIERTA
CONDICIÓN O PROPIEDAD Existen algunos x...
• SE SIMBOLIZA CON UNA “E” Hay algunos…
MAYÚSCULA INVERTIDA SEGUIDA
DE UN SIGNO DE ADMIRACIÓN
Hay solo un…
EJEMPLOS:

• HAY ALGÚN GANADOR DEL TOUR DE FRANCIA EN COLOMBIA.

)

• 
• ) EXISTE UNA ÚNICA CIUDAD DE BOGOTÁ EN AMÉRICA LATINA
HAY SOLO UNA CIUDAD DE BOGOTÁ EN AMÉRICA LATINA
EQUIVALENCIAS ENTRE CUANTIFICADORES
• SON AQUELLAS PROPOSICIONES PROPOCICIÓN EQUIVALENTE
QUE PUEDEN SER CUANTITATIVAS
‫ݔ‬ሻ
‫׊‬௑ ‫݌‬ሺ ‫ݔ‬ሻ
൓‫׌‬௫൓‫݌‬ሺ
YA SEAN UNIVERSALES O
EXISTENCIALES DE TIPO ‫ݔ‬ሻ
‫׊‬௑ ൓‫݌‬ሺ ‫ݔ‬ሻ
൓‫׌‬௫‫݌‬ሺ
AFIRMATIVO O NEGATIVO Y QUE ‫ݔ‬ሻ
‫׌‬௑ ‫݌‬ሺ ‫ݔ‬ሻ
൓‫׊‬௫൓‫݌‬ሺ
CUMPLEN CON ALGUNA DE ESAS
‫ݔ‬ሻ
‫׌‬௑ ൓‫݌‬ሺ ‫ݔ‬ሻ
൓‫ ׊‬௫‫݌‬ሺ
DOS CONDICIONES Y POR LO TANTO
SU OPUESTO ES EQUIVALENTE.
EJEMPLOS:
• TODOS SON LABRADORES EQUIVALE A DECIR ES FALSO QUE ALGUNOS PERROS NO SEAN
LABRADORES

• NINGUNO ES LABRADOR EQUIVALE A DECIR QUE ES FALSO QUE ALGUNOS SEAN

LABRADORES

• ALGUNOS SON LABRADORES EQUIVALE A DECIR QUE ES FALSO QUE NINGUNO SEA
LABRADOR

• ALGUNOS NO SON LABRADORES EQUIVALE A DECIR QUE ES FALSO QUE TODOS SEAN
LABRADORES.
BIBLIOGRAFIA
• CARDONA, T. S. A. (2010). LÓGICA MATEMÁTICA PARA INGENIERÍA DE SISTEMAS Y COMPUTACIÓN. (PP. 106 -
112). EDICIONES ELIZCOM, MADRID.

• RODRÍGUEZ, V. R. (2013). CONJUNTOS NUMÉRICOS, ESTRUCTURAS ALGEBRAICAS Y FUNDAMENTOS DE

ÁLGEBRA LINEAL. VOLUMEN I: CONJUNTOS NUMÉRICOS, COMPLEMENTOS. (PP. 19-28). MADRID, ESPAÑA:
EDITORIAL TÉBAR FLORES.

• CARDONA, T. S. A. (2010). LÓGICA MATEMÁTICA PARA INGENIERÍA DE SISTEMAS Y COMPUTACIÓN. (PP. 9-28).
EDICIONES ELIZCOM, MADRID.