NCAHN

UNIVERSIDAD NACIONAL PEDRORUIZ GALLO

FACULTAD DE CIENCIAS HISTÓRICO SOCIALES Y
EDUCACIÓN
ESCUELA PROFESIONAL DE MATEMATICA Y
COMPUTACIÓN

MONOGRAFÍA
Lógica cuantificacional e inferencia: Un
estudio de relación

CURSO:
LÓGICA SIMBÓLICA

DOCENTE:
AHUMADA ABANTO CESAR
AUGUSTO

ESTUDIANTE:
BANCES BARBADILLO MARÍA
ESTEFANY

LAMBAYEQUE - 2024
 ÍNDICDE GENERAL
1. Resumen histórico de la lógica cuantificacional. (Boesio,
¿Quién fue?
2. ¿Qué es una proposición categórica?
3. Símbolos usados en lógica cuantificacional.
4. Tipos de proposiciones categóricas. (6)
5. Representación gráfica y simbólica de las 4 proposiciones
categóricas. (3 ejemplos de cada caso)
6. Elementos de una proposición categórica.(hacer 4 ejemplos)
- El cuantificador
- Sujeto
- Verbo
- Predicado
7. Negación de los cuantificadores
8. Inferencias: clases de inferencias.( ejemplos de cada una)
9. Conjuntos – Cardinalidad
10. Referencia histórica: Jhon Cántor
 Resumen histórico de la lógica
cuantificacional. (Boesio, ¿Quién fue?)
La lógica cuantificacional, también conocida como lógica de predicados, es
una rama fundamental de la lógica formal que ha tenido un impacto profundo
en la filosofía, las matemáticas y la informática. Su desarrollo ha sido un
proceso gradual, que se remonta a la antigüedad y continúa hasta el día de
hoy.
Las raíces de la lógica cuantificacional se encuentran en la lógica silogística
desarrollada por Aristóteles (384-322 a.C.). Aristóteles, considerado el padre
de la lógica, estableció un sistema formal para analizar y deducir conclusiones
válidas a partir de premisas. Su lógica se basaba en la idea de silogismos,
argumentos que consisten en tres proposiciones: una premisa mayor, una
premisa menor y una conclusión. Sin embargo, la lógica silogística de
Aristóteles tenía limitaciones. No podía expresar adecuadamente conceptos
como la existencia o la universalidad.
Boecio (480-524 d.C.) fue un filósofo y teólogo romano que jugó un papel
crucial en la preservación de la lógica aristotélica. Tradujo al latín las obras de
Aristóteles y las comentó, contribuyendo significativamente a la transmisión
del conocimiento lógico a la Edad Media.
Boecio, a través de sus comentarios y traducciones, hizo accesible la lógica
aristotélica a los estudiosos medievales, lo que permitió que la lógica se
desarrollara y se integrara a la filosofía y la teología de la época.
Boecio también introdujo conceptos importantes como la categoría y la
proposición en la lógica, sentando las bases para el desarrollo de la lógica
modal. Su legado ha perdurado a lo largo de los siglos y ha influido en la lógica
moderna y en el pensamiento filosófico.
 ¿Qué es una proposición categórica?

Una proposición categórica es una afirmación que

establece una relación entre dos clases o conjuntos de
elementos. Estas proposiciones suelen seguir una
estructura específica basada en los términos
subyacentes y su relación. En la lógica aristotélica, las
proposiciones categóricas se clasifican en cuatro tipos
principales, según la cantidad y la calidad de la
afirmación:
1. Afirmativas:
- Universal afirmativa: Afirma que todos los elementos de
un conjunto están también en otro.
- Particular afirmativa: Afirma que al menos algunos
elementos de un conjunto están también en otro.
2. Negativas:
- Universal negativa: Niega que todos los elementos de
un conjunto estén en otro.
- Particular negativa: Niega que al menos algunos
elementos de un conjunto estén en otro.

Las proposiciones categóricas se expresan en forma de

oraciones que establecen relaciones entre dos términos:
el sujeto y el predicado. Por ejemplo, en la proposición
"Todos los perros son mamíferos", "perros" es el sujeto y
"mamíferos" es el predicado.

Estas proposiciones se utilizan en el razonamiento

deductivo para inferir conclusiones válidas a partir de
premisas dadas. La lógica aristotélica se basa en el
estudio de las proposiciones categóricas y su relación a
través de los silogismos, que son argumentos lógicos
compuestos por tres proposiciones: dos premisas y una
conclusión.
Símbolos usados en lógica cuantificacional.
La lógica cuantificacional, también conocida como lógica
de predicados, utiliza símbolos para representar
conceptos y operaciones lógicas. Estos símbolos
permiten la formalización de enunciados y argumentos,
facilitando el razonamiento y la inferencia lógica.

Principales Símbolos:

- ∀: Cuantificador universal. Se lee como "para todo" o

- Cuantificadores:

"para cada". Indica que una proposición es verdadera

para todos los elementos de un conjunto. [1][2][3][4][5]

- ∃: Cuantificador existencial. Se lee como "existe" o "al

[6][7]

menos uno". Indica que al menos un elemento del

conjunto satisface una proposición. [1][2][3][4][5][6][7]
- Variables:
- x, y, z,...: Se utilizan letras minúsculas como variables
para representar elementos de un conjunto. Estas
variables pueden ser cuantificadas universal o
existencialmente.
- Conectivos Lógicos:

- ∧: Conjunción. Representa la operación lógica "y" entre

- ¬: Negación. Indica la negación de una proposición.

- ∨: Disyunción. Representa la operación lógica "o" entre

dos proposiciones.

dos proposiciones.
- →: Implicación. Representa la implicación lógica, donde
una proposición implica otra.
- ↔: Doble implicación. Representa la equivalencia lógica,
donde dos proposiciones son equivalentes.

Ejemplos de Uso:

- ∀x (Px → Qx): "Para todo x, si x es P, entonces x es Q".

- ∃x (Rx ∧ ¬Sx): "Existe un x tal que x es R y x no es S".
 Tipos de proposiciones categóricas. (6)
Estos tipos de proposiciones categóricas son fundamentales en
la lógica se utilizan para establecer relaciones entre conjuntos o
clases de elementos. Comprender la naturaleza y la
clasificación de estas proposiciones es esencial para el
razonamiento deductivo y la construcción de argumentos
válidos.
1. Universal Afirmativa (A):
- Afirma que todos los elementos de un conjunto están también
en otro conjunto.
- Ejemplo: "Todos los gatos son mamíferos."
2. Particular Afirmativa (I):
- Afirma que al menos algunos elementos de un conjunto están
también en otro conjunto.
- Ejemplo: "Algunos estudiantes son trabajadores."
3. Universal Negativa (E):
- Niega que todos los elementos de un conjunto estén en otro
conjunto.
- Ejemplo: "Ningún pájaro es un pez."
4. Particular Negativa (O):
- Niega que al menos algunos elementos de un conjunto estén
en otro conjunto.
- Ejemplo: "Algunas plantas no son verdes."
5. Subcontraria (A y O):
- Ambas proposiciones pueden ser verdaderas al mismo tiempo,
pero no pueden ser falsas al mismo tiempo.
- Ejemplo: "Algunos gatos son negros" (O) y "Algunos gatos no
son negros" (A).
6. Contradictoria (A y E):
- Ambas proposiciones no pueden ser verdaderas al mismo
tiempo y no pueden ser falsas al mismo tiempo.
- Ejemplo: "Todos los perros son mamíferos" (A) y "Ningún perro
es mamífero" (E).
 Representación gráfica y simbólica de las 4
proposiciones categóricas. (3 ejemplos de cada
caso)
 Elementos de una proposición categórica.
(Hacer 4 ejemplos)
Ejemplo 1:
- Proposición: Algunas frutas son dulces.
- Cuantificador: Algunas
- Sujeto: las frutas
- Verbo: son
- Predicado: dulces
Ejemplo 2:
- Proposición: Todos los coches tienen ruedas.
- Cuantificador: Todos
- Sujeto: los coches
- Verbo: tienen
- Predicado: ruedas
Ejemplo 3:
- Proposición: Algunas flores son rojas.
- Cuantificador: Algunas
- Sujeto: las flores
- Verbo: son
- Predicado: rojas
Ejemplo 4:
- Proposición: Todos los planetas giran alrededor del sol.
- Cuantificador: Todos
- Sujeto: los planetas
- Verbo: giran
- Predicado: alrededor del sol
 Negación de los cuantificadores
La negación de los cuantificadores en lógica matemática y
en matemáticas en general es un concepto fundamental
que se aplica al analizar proposiciones cuantificadas. En
lógica, los cuantificadores más comunes son el
cuantificador universal (∀) y el cuantificador existencial (∃).
1. Negación del cuantificador universal (∀):
- La negación del cuantificador universal (∀) se representa
como ¬∀x, lo cual se lee como "no para todo x" o "existe al
menos un x para el cual no se cumple la proposición".
- Por ejemplo, si tenemos la declaración "Para todo número
entero x, x es positivo", su negación sería "No todos los
números enteros x son positivos", lo cual significa que al
menos hay un número entero que no es positivo.
2. Negación del cuantificador existencial (∃):
- La negación del cuantificador existencial (∃) se representa
como ¬∃x, lo cual se lee como "no existe un x" o "para
ningún x se cumple la proposición".
- Por ejemplo, si tenemos la declaración "Existe un número
entero x tal que x es par", su negación sería "No hay ningún
número entero x que sea par", lo cual significa que para
todos los números enteros, ninguno es par.
La negación de los cuantificadores cambia la afirmación
original de afirmativa a negativa o viceversa, según el tipo
de cuantificador involucrado. Esta técnica es fundamental
en la lógica matemática para analizar y comprender
enunciados cuantificados de manera precisa y rigurosa.
 Inferencias: clases de inferencias. (Ejemplos de
cada una)
Las clases de inferencias en lógica y razonamiento, tienen cada
una sus propias reglas y características distintivas.
1. Inferencia Deductiva: La conclusión se deriva
necesariamente de las premisas. Si las premisas son
verdaderas, la conclusión debe ser verdadera.
- Ejemplo:
- Premisa 1: Todos los hombres son mortales.
-Premisa 2: Sócrates es un hombre.
- Conclusión: Por lo tanto, Sócrates es mortal.
2. Inferencia Inductiva: Se generaliza a partir de observaciones
específicas para, llegar a una conclusión general. La conclusión
no es necesariamente verdadera, pero es probable
- Ejemplo:
- Observación: Cada vez que ha llovido, las calles se han
mojado.
- Conclusión: Por lo tanto, es probable que cuando llueva
nuevamente, las calles se mojen.
3. Inferencia Abductiva: Está implica llegar a la mejor
explicación posible de una observación o conjunto de
observaciones. Se utiliza para formular hipótesis o teorías
plausibles.
- Ejemplo:
- Observación: La hierba está mojada y las ventanas están
abiertas.
- Conclusión: La explicación más plausible es que ha llovido y las
ventanas se abrieron para ventilar la casa.
4. Inferencia Estadística: Se utiliza para sacar conclusiones sobre
una población basándose en una muestra de datos. Se emplean
métodos como la estimación de parámetros y pruebas de
hipótesis.
- Ejemplo:
- Muestra: Se encuestan 100 personas y el 60% prefiere el
chocolate negro.
- Inferencia: Se estima que aproximadamente el 60% de la
población en general prefiere el chocolate negro.
Conjuntos – Cardinalidad

La Cardinalidad de un conjunto es una medida que indica la

cantidad de elementos que contiene. Es decir, la
Cardinalidad nos dice cuántos elementos hay en un
conjunto. Algunos ejemplos de conjuntos y su Cardinalidad:
1. Conjunto vacío: {} Cardinalidad: infinita (ℵ₀)

racionales: {p/q | p, q ∈
Cardinalidad: 0 7. Conjunto de números

ℤ, q ≠ 0}
2. Conjunto con un
elemento: {a}
Cardinalidad: 1 Cardinalidad: infinita (ℵ₀)

reales: ℝ
3. Conjunto con dos 8. Conjunto de números
elementos: {a, b}
Cardinalidad: 2 Cardinalidad: infinita (ℵ₁)

complejos: ℂ
4. Conjunto con tres 9. Conjunto de números
elementos: {a, b, c}
Cardinalidad: 3 Cardinalidad: infinita (ℵ₁)

funciones reales: {f: ℝ

5. Conjunto de números 10. Conjunto de

→ ℝ}
naturales: {1, 2, 3,...}
Cardinalidad: infinita (ℵ₀)
Cardinalidad: infinita
6. Conjunto de números
Recuerda:
enteros: {..., Que -3,la Cardinalidad
-2, -1, (2^ℵ₁)

diferentes tipos de infinito, como ℵ₀ y

puede
0, 1,ser
2, finita
3,...} o infinita, y que hay

ℵ₁.

Ejemplo: El conjunto A = {2, 4, 6}

tiene una Cardinalidad de 3, ya que
contiene tres elementos.
Tipos de Cardinalidad:
- Cardinalidad finita: Se refiere a conjuntos que tienen un
número limitado de elementos.
- Cardinalidad infinita: Se refiere a conjuntos que tienen un
número infinito de elementos.
Propiedades de la Cardinalidad:
- Igualdad: Dos conjuntos tienen la misma Cardinalidad si y
solo si existe una correspondencia biunívoca entre sus
elementos.
- Suma: La Cardinalidad de la unión de dos conjuntos
disjuntos es igual a la suma de las cardinalidades de los
conjuntos individuales.
- Sustracción: La Cardinalidad de la diferencia de dos
conjuntos es igual a la diferencia de las cardinalidades de
los conjuntos individuales.
 Referencia histórica de John Cantor
John Cantor (1845-1918) fue un matemático alemán
reconocido por sus contribuciones fundamentales a la teoría
de conjuntos, una rama de las matemáticas que estudia las
colecciones de objetos.
Aportes clave de Cantor:
- Introducción del concepto de infinito: Desafió la
concepción tradicional del infinito como un concepto
ilimitado, pero único. Desarrolló la idea de infinitos
diferentes, demostrando que hay diferentes tamaños de
conjuntos infinitos.
- Números transfinitos: Introdujo los números transfinitos
para representar la Cardinalidad de conjuntos infinitos.
Estos números, como aleph-cero (ℵ₀), permiten comparar el
tamaño de diferentes conjuntos infinitos.
- Teoría de conjuntos: Sentólas bases de la teoría de
conjuntos moderna, que se convirtió en una herramienta
fundamental para el desarrollo de las matemáticas en el
siglo XX.
Contexto histórico:
- Cantor vivió en una época de gran desarrollo en las
matemáticas, marcada por la aparición de nuevas teorías
como la geometría no euclidiana y el análisis matemático.
Sus ideas sobre el infinito fueron inicialmente rechazadas
por algunos matemáticos, quienes las consideraban
demasiado abstractas o incluso contradictorias. A pesar de
la resistencia inicial, la teoría de conjuntos de Cantor
finalmente fue aceptada y se convirtió en una herramienta
fundamental para las matemáticas modernas.
Legado:
- La teoría de conjuntos de Cantor tuvo un impacto
profundo en las matemáticas, la lógica y la filosofía.
- Sus ideas sobre el infinito siguen siendo objeto de estudio
y debate en la actualidad.
 John Cantor fue un matemático visionario que
revolucionó la comprensión del infinito y sentó las
bases de la teoría de conjuntos moderna. Sus ideas,
aunque inicialmente controvertidas, tuvieron un
impacto duradero en las matemáticas y otras áreas
del conocimiento.
 BIBLIOGRAFÍA
 https://logicaformalunah.wordpress.com/wp-
content/uploads/2017/01/irving_m-
_copi_carl_cohen_introduccion_a_la_log.pdf
 https://es.wikipedia.org/wiki/
Principia_Mathematica
 https://flamath.com/cuantificadores
 https://es.wikipedia.org/wiki/Proposici
%C3%B3n_categ%C3%B3rica
 https://espanol.libretexts.org/Matematicas/
Logica_Matematica_y_Pruebas/
Razonamiento_Matem%C3%A1tico_-
_Escritura_y_Prueba_(Sundstrom)/
02%3A_Razonamiento_l%C3%B3gico/
2.04%3A_Cuantificadores_y_Negaciones
 https://es.wikipedia.org/wiki/N
%C3%BAmero_cardinal_(teor
%C3%ADa_de_conjuntos)
 https://www.youtube.com/watch?
v=GSQFJbXKpdo
 https://www.bbvaopenmind.com/ciencia/
matematicas/georg-cantor-el-hombre-que-
descubrio-distintos-infinitos/?
need_sec_link=1&sec_link_scene=im
 https://lamaquinaoraculo.com/matematicas/
teoria-de-conjuntos/?
need_sec_link=1&sec_link_scene=im