LÓGICA CUANTIFICACIONAL

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.
 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.
 SINTAXIS DE LA LÓGICA
CUANTIFICACIONAL

• Variables Predicativas: F, G, H, …
• Constantes individuales: a, b, c, d, …
• Variables individuales: x, y, z, …
• Cuantificadores: (∀), (∃)
 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
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
 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:
C1 j ∧ C2 j
Otro caso para “Carlos baila y Rosita busca un CD”, sería:
B1 c ∧ B2 r
 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.
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.
 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
 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:
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

 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
 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.
 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.
 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'
 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
 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'
EJEMPLO 1
EJEMPLO 1
EJEMPLO 2
EJEMPLO 3
EJEMPLO 4