Matemática Discreta
Lógica Cuantificacional
Clase # 4
Juan Alberto Lira Mamani
Propósito de la Clase
PROPOSITO
El Estudiante:
Evalúa las reglas de formación de la lógica cuantificacional.
Utiliza los cuantificadores para encontrar equivalencias entre las proposiciones
cuantificadas.
Identifica proposiciones categóricas y luego demuestra la valides de los silogismos.
Mgº Juan Lira
LÓGICA CUANTIFICACIONAL
La lógica proposicional (LP) analiza la conexión entre los
enunciados.
La Lógica Cuantificacional (LC) amplía el análisis de la LP,
analiza también la estructura interna de las proposiciones.
En otras palabras, la LC analiza la estructura y las conexiones
de los distintos elementos internos de cada proposición y a la
vez analiza las conexiones entre las otras proposiciones.
Mgº Juan Lira
SINTAXIS DE LA LÓGICA
CUANTIFICACIONAL
• Variables Predicativas: F, G, H, …
• Constantes individuales: a, b, c, d, …
• Variables individuales: x, y, z, …
• Cuantificadores: (∀), (∃)
Mgº Juan Lira
FORMALIZACIÓN EN LÓGICA
CUANTIFICACIONAL
• Empecemos por proposiciones como:
“Carlos es inmoral”, “Pepe es mortal”, “El mar es inmenso”, “La tierra
es redonda”, etc.
Estas proposiciones tienen una estructura interna dadas por el sujeto y
predicado. Por ejemplo, la primera proposición:
Carlos es inmoral
Predicado
Sujeto
Mgº Juan Lira
Ejemplo de formalización:
Sea la proposición: “Gonzalo es mortal”
Gonzalo es mortal
g M
• Se asigna un sujeto y predicado, donde:
g: Sujeto.
M: Predicado.
• La formalización es: Mg
• De este modo 'Mg' nos dice, en lenguaje de LC, que ‘Gonzalo es mortal'.
• Si se tiene la proposición “Carlos baila”
• La formalización será: Bc
• Si se tiene la proposición “Huancayo es capital de la Región Junín”
• La formalización será: Ch o Rh o Jh
Mgº Juan Lira
Predicado y símbolos predicativos
Los predicados son las propiedades o características de los individuos o
sujetos.
Los símbolos que se asignan para los predicados son las letras mayúsculas
del alfabeto, de la A hasta la Z, en caso necesario se utilizan símbolos con
subíndices. A1, A2, F1, F2, etc.
La formalización para la siguiente proposición “Jorge camina y corre” ,
puede ser:
C1j C2j
Otro caso para “Carlos baila y Rosita busca un CD”, sería:
B1c B2r
Mgº Juan Lira
LAS CONSTANTES INDIVIDUALES
En la proposición: Manuel es mortal
La formalización es: Mm
´M´ mortal y ´m´ Manuel.
Aquí se observa que la constante individual es ´m´.
Toda constante individual normalmente se representa por la primera letra
del sujeto y en minúscula.
Se denomina constante individual porque representa a un solo individuo.
En LC "individuo" es entendido no solo en referencia a seres humanos
individuales (como, Sócrates, Platón, Cáceres, Bolognesi, etc.) sino también
a cualquier objeto particular del cual se pueda predicar alguna propiedad.
Mgº Juan Lira
Ejemplo. Formalizar los siguientes enunciados
1. Juan juega.
2. María trabaja
3. Pepe es abogado y Melchor es ingeniero.
4. La conferencia se realiza o se posterga.
5. Si muere su mascota, entonces está triste y llora.
6. Si Bernardo trabaja, Jose estudia. Pero si Bernardo no trabaja, entonces
Jose tendrá que hacerlo.
7. Raúl ganara la Tinka sólo en el caso que acierte los seis números.
Mgº Juan Lira
VARIABLES INDIVIDUALES
Ejemplo 01. Formalizar:
x es estudioso
Formalizando estas proposición se tiene:
Ex
x es una variable que representa a varios sujetos y se denomina variable
individual. Se utilizan las últimas letras del abecedario como x, y, z.
Ejemplo 02. Formalizar:
Si x es deportista, entonces x es atleta
Dx Ax
Mgº Juan Lira
Cuantificación
• La cuantificación consiste en utilizar ciertas particularidades lógicas para
referirse a cantidades de individuos de un cierto grupo. Así, para referirnos
al grupo anterior, podemos decir:
Todos son estudiosos
• Formalizando: (x)Ex
• Otros cuantificadores se emplean para decir algo de una cierta cantidad de
individuos de un grupo. Si consideramos el grupo de los habitantes de la
Tierra Media, podemos decir que:
Mgº Juan Lira
Algunos son estudiosos ( x) Ex
La mayoría son mortales ( x) Mx
Muchos temen a las serpientes ( x) Tx
Pocos han llegado a la meta ( x) Lx
Ninguno ha nacido en la selva (x) Nx
Mgº Juan Lira
CUANTIFICADORES LÓGICOS
• Aunque estos cuantificadores tienen obvias diferencias de significado, en lógica
de primer orden se reducen a tan sólo 2:
- Cuantificador universal: equivale a TODOS
- Cuantificador existencial: equivale a AL MENOS UNO
• Con los cuantificadores y las variables ya podemos formalizar expresiones como:
• Todos son estudiosos: (x) Ex
lo cual significa que para todo individuo x, ese individuo tiene la propiedad de ser
estudioso
• Algunos son estudiosos: (x) Ex
lo cual significa que hay al menos un individuo x que tiene la propiedad de ser
estudioso
Mgº Juan Lira
PROPOSICIONES CATEGÓRICAS
Las proposiciones categóricas son afirmaciones (o negaciones) sobre
clases o grupos de objetos, del tipo "todos son..." o "algunos son..." o
"ninguno es …", son enunciados atómicos o simples: expresan un solo
juicio y están referidos a la cantidad y la calidad.
Según la cantidad pueden ser:
Universales o
Particulares.
Según la calidad pueden ser:
Afirmativas o
Negativas.
Mgº Juan Lira
UNIVERSAL AFIRMATIVA (UA)
• Tiene la forma: 'Todos los S son P'.
• Donde: 'S' representa cualquier grupo de sujetos y 'P' un predicado
cualquiera que se refiere a ellos.
• Ejemplos:
• Todos los hombres son mortales.
• Todos los animales tienen vértebras.
• Todas las sandias son vegetales.
• Todos los jueces sentencian
• Todos los profesores estudian.
Mgº Juan Lira
UNIVERSAL NEGATIVA (UN)
• Forma: 'Todos los S no son P' o bien 'Ningún S es P'.
• Ejemplos:
• 'Todos los mamíferos no son peces'.
• 'Ningún mamífero es ave'.
• 'Todos los alumnos no son ingenieros'.
• 'Ningún presente es dentista'.
• 'Ningún batracio vuela'
Mgº Juan Lira
PARTICULAR AFIRMATIVA (PA)
• Forma: 'Algunos S son P' o 'Existen S que son P'
• Ejemplos:
• Algunos abogados son incumplidos.
• Algunos profesores son tardones.
• Existen personas que son ciegas.
• Algunos hombres comen carne humana
• Existen hombres que tienen tres esposas
Mgº Juan Lira
PARTICULAR NEGATIVA (PN)
• Forma: 'Algunos S no son P' o 'Existen S que no son P'.
• Ejemplos:
• 'Algunos pingüinos no son buenos nadadores'.
• 'Algunos alumnos no están aprobados'.
• 'Existen profesores que no son solteros'.
• 'Algunos hombres no comen carne'.
• 'Existen hombres que no tienen manos'
Mgº Juan Lira
EJEMPLO 1
la función P(x): x2 - 4 = 0 es una función preposicional que
se convierte en verdadera si x = 2 ó x = -2, y es falsa
cuando x toma otros valores.
Ahora consideremos un conjunto cualquiera A, por ejemplo :
A = { -2, 1, 2, -3, 0 }
La proposición:
“Existe por lo menos un x A, tal que se verifica P(x)”
ó equivalentemente:“ x A / P(x)”,
es verdadera, pues existe x = -2 A, tal que: x2 – 4 = 0
Mgº Juan Lira
EJEMPLO 2
Determinar el valor de verdad de la siguiente proposición, siendo el conjunto
A = { 0, 1, 2, 3, 4, 5 }.
x A / x2 - 5x - 6 = 0.
Es falsa, pues x2 -5x - 6 = 0 se cumple sólo para x = -1, y x =
6 y no para todos los demás elementos de A.
Mgº Juan Lira
EJEMPLO 3
Determinar el valor de verdad y negar la siguiente proposición; dado el conjunto
B = { x / x Z, x 4 }.
Verdadera. x B, y B / x2 + y2 8.
x B, yB / x2+y2 8
1 3 12 + 3 2 8
2 2 22 + 2 2 8
3 1 32 + 1 2 8
4 1 42 + 1 2 8
Su negación es:
~ [ x B, y B / x2 + y2 8 ]
x B, y B / x2 + y2 < 8....(V)
Mgº Juan Lira
¿Qué aprendimos hoy?
• Lógica Cuantificacional
• Predicado y símbolos predicativos
• Las constantes individuales
• Variables individuales
• Cuantificadores lógicos
• Proposiciones categóricas
Mgº Juan Lira
Referencias Bibliográficas
• Epp, S. (2012). Matemáticas discretas con aplicaciones (4.a ed.).
Cengage Learning. [Link]
• García, M. (2017). Matemática discreta para la computación:
nociones teóricas y problemas resueltos (2.a ed.). Universidad de
Jaén. [Link]
• Malva, A., Schwer, I., Cámara, V. y Fumero, Y. (2005). Matemática
discreta: con aplicaciones a las ciencias de la programación y de la
computación. 1a ed. Argentina: Universidad Nacional Del Litoral.
Mgº Juan Lira
Mgº Juan Lira
