CUANTIFICADORES EN LA

LÓGICA MATEMÁTICA

PRESENTADO POR:
ANDREA ORDOÑEZ

PRESENTADO A:
CAROLINA CASTANO
 CONCEPTO DE CUANTIFICADORES EN LA
LÓGICA MATEMÁTICA
• CUANDO SE HABLA DE CUANTIFICADORES EN TÉRMINOS DE LÓGICA, TEORÍA DE CONJUNTOS O MATEMÁTICAS
EN GENERAL, SE HACE REFERENCIA A AQUELLOS SÍMBOLOS QUE SE UTILIZAN PARA INDICAR CANTIDAD EN UNA
PROPOSICIÓN, ES DECIR, PERMITEN ESTABLECER “CUÁNTOS” ELEMENTOS DE UN CONJUNTO DETERMINADO,
CUMPLEN CON CIERTA PROPIEDAD. LOS CUANTIFICADORES PERMITEN LA CONSTRUCCIÓN DE PROPOSICIONES A
PARTIR DE FUNCIONES PROPOSICIONALES, BIEN SEA PARTICULARIZANDO O GENERALIZANDO. POR EJEMPLO, SI
CONSIDERAMOS LA FUNCIÓN PROPOSICIONAL:
• EJEMPLO: SI EN LAS MAÑANAS LLUEVE ENTONCES EN LA TARDE HACE FRIO Y SI EN LA TARDE HACE FRIO
ENTONCES EN LA NOCHE LLUEVE.
P: EN LAS MAÑANAS LLUEVE
Q: EN LA TARDE HACE FRÍO
R: LLUEVE EN LA NOCHE
(P⟶Q)∧(Q⟶R)
 PROPOSICIONES ABIERTAS
• UNA PROPOSICIÓN ABIERTA ES UN ENUNCIADO DECLARATIVO QUE DEPENDE DE UNA O MÁS VARIABLES
DENTRO DE UN UNIVERSO DE DISCURSO, DE MODO QUE SE CONVIERTA EN UNA PROPOSICIÓN PARA
CADA VALOR O REMPLAZO DE LA VARIABLE.
• EJEMPLO:
SUPONGAMOS QUE EL UNIVERSO DE DISCURSO ESTÁ FORMADO POR DOS NÚMEROS
NATURALES. SON PROPOSICIONES ABIERTAS.
P(X): ¨ X ES UN DIVISOR DE 8¨
OBSERVA P(2) ES CIERTA. P(5) ES FALSA P(32) ES FALSA.
Q(X, Y): ¨X ES UN DIVISOR DE Y
Q(2,5) ES FALSA PERO Q(5,100) ES VERDADERA
 CUANTIFICADORES.
• LAS EXPRESIONES
EXISTE UN X¨ PARA ALGÚN X¨ PARA CUALQUIER X¨ PARA TODO X¨
CUANTIFICAN LAS PROPOSICIONES ABIERTAS LO QUE HACE POSIBLE
ASIGNARLES UN VALOR DE VERDAD CONVIRTIÉNDOSE EN PROPOSICIONES.
SON PROPOSICIONES CUANTIFICADAS PARA ALGUNA X SE CUMPLE P(X) PARA
ALGUNAS X Y ALGUNOS Y SE VERIFICA Q(X,Y) PARA TODO X SE SATISFACE R(X).
 VERACIDAD Y FALSEDAD CON
CUANTIFICADORES.

• EJEMPLO:
• EN EL UNIVERSO DE LOS NÚMEROS ENTEROS CONSIDERE LAS
PROPOSICIONES ABIERTAS
P(X): X2-8X+15=0
Q(X): X ES IMPAR
R(X) X >0
• REFERENCIAS BIBLIOGRÁFICAS

• 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&DOCID=3199701&TM=1529510366591
.

• 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.
RECUPERADO DE
• HTTP://BIBLIOTECAVIRTUAL.UNAD.EDU.CO:2460/LIB/UNADSP/READER.ACTION?
PPG=20&DOCID=3226457&TM=1529246259924
.