RAZONAMIENTO

MATEMÁTICO
Lógica de
clases
Objetivos
• Potenciar la capacidad deductiva para obtener
conclusiones correctas a partir de premisas dadas.
Nociones previas
¿Qué elementos
Clase Proposición Categórica conforman una
Agrupación o colección de Es aquel enunciado que expresa proposición
elementos u objetos concretos o relación de inclusión o exclusión, categórica?
abstractos que tienen total o parcial entre dos clases.
propiedades comunes.

Ejemplos: Ejemplos: Todos los estudiantes son responsables

• La clase de los estudiantes. • Todo alumno es responsable.
• La clase de los ingenieros. • Algunas noticias son alentadoras. Cuantificador Todos

• La clase de los responsables. • Ningún perro es ovíparo. Sujeto La clase de los estudiantes
• La clase de los organizados. • Algunos hombres no son deportistas.
Verbo ser
• La clase de los gatos. • Muchos científicos son realistas.
Predicado La clase de los responsables
Cuantificador
Es la cantidad de elementos de la clase a relacionar. Se le identifica generalmente con las palabras: todo, ningún y algún.
A ellos se les conoce como cuantificadores típicos.
 Clasificación de las proposiciones categóricas
Las proposiciones categóricas se clasifican en:

SEGÚN SU CANTIDAD SEGÚN SU CUALIDAD

Afirmativas: expresa relaciones de

Universal: se refiere a todos los elementos inclusión de una clase (total o parcial)
de la clase designada por el sujeto. respecto de otra.

Particular: se refiere a algunos de los Negativa: expresa relaciones de exclusión

elementos de la clase designada por el de una clase (total o parcial) respecto de
sujeto. otra.
Representación gráfica mediante
diagramas de Venn, inferencia Negación Silogismos
mediata e inmediata
REPRESENTACION GRAFICA MEDIANTE DIAGRAMAS DE VEN

Universal Afirmativa Universal Negativa

➢ Todo S es P. ➢ Ningún S es P.
Representación Representación
del vacío del vacío

Interpretación. Interpretación.
No existen elementos de S fuera de P. No existen elementos en S y a la vez en P.
Fórmula booleana: Es igual a vacío la intersección Fórmula booleana: Es igual a vacío la intersección
de la clase S y el complemento de P. 𝑆𝑃ത = ∅ de la clase S y la clase P. 𝑆𝑃 = ∅

Ejemplo: Ejemplo:
Todo educado es atento. Ningún futbolista es lento.

𝐸 𝐴ҧ = ∅ 𝐹𝐿 = ∅
Particular Afirmativa Particular Negativa

➢ Algún S es P. Representación ➢ Algún S no es P. Representación

del existencia del existencia
de elementos de elementos
X X X
X

Interpretación. Interpretación.
Existen algunos elementos en S y a la vez en P. Existen elementos de S fuera de la clase P.
Fórmula booleana: Es diferente de vacío la Fórmula booleana: Es diferente de vacío la
intersección de la clase S y de la clase P. 𝑆𝑃 ≠ ∅ intersección de la clase S y el complemento de P. 𝑆𝑃ത ≠ ∅

Ejemplo: Ejemplo:
Algún peruano es cantante. Algún lápiz no es comprado.

X 𝑃𝐶 ≠ ∅ X 𝐿𝐶ҧ ≠ ∅
Proposiciones categóricas atípicas

Caso 01: (Cuantificador no explicito)

Cuando las proposiciones no utilizan cuantificadores típicos (todo, ningún o algún) es necesario interpretarlas y
determinar su cuantificador típico equivalente.

Los hombres son sociables.

Todo hombre es sociable. Cada hombre es sociable.
Cualquier hombre es sociable.
Quienquiera que sea hombre es sociable.

No hay universitario que sea escolar.

Ningún universitario es escolar.
No existe universitario que sea escolar.
Nunca un universitario es escolar.

Algunos jueces son justos. Varios, muchos, pocos, existe por lo X

menos uno, hay, la mayoría ,casi todos.
Caso 02: (Negación de los términos)
Surge un caso atípico por la negación de los términos, es decir, cuando en la proposición categórica se niega el
sujeto, o el predicado o ambos.
Negación del sujeto. Negación del predicado. Negación del sujeto y predicado.
Algún no europeo es americano Ningún amigo es desleal. Todo irresponsable es impuntual
Recordar: Recordar: Recordar:
Algún S es P : 𝑆𝑃 ≠ ∅ Ningún S es P: 𝑆𝑃 = ∅ Todo S es P: 𝑆𝑃ത = ∅
Algún no europeo es americano Ningún amigo es desleal. Todo irresponsable es impuntual
Europeo: 𝐸 Americano: 𝐴 Leal: 𝐿 Amigo: 𝐴 Responsable: 𝑅 Puntual: 𝑃
No europeo: 𝐸ത Desleal: 𝐿ത Irresponsable: 𝑅ത Impuntual: 𝑃ത
𝐸ത 𝐴 ≠ ∅ 𝐴 𝐿ത = ∅ 𝑅ത 𝑃ധ = ∅ → 𝑅𝑃
ത =∅
Gráficamente Gráficamente Gráficamente Doble negación
se elimina
X
𝑃ധ = 𝑃
Se lee:
Algunos americanos no son europeos Se lee: Todo amigo es leal. Se lee: Todo puntual es responsable.
Caso 03: (negación del cuantificador)
Surge un caso atípico cuando en una proposición categórica se niega el cuantificador.
➢ Es falso que algún limeño no sea peruano. ➢ No todo hombre es soltero.
Tener en cuenta que la negación del cuantificador se traduce como la negación de toda la proposición categórica.

Ejemplos:
Es falso que algún limeño no sea peruano. No todo hombre es soltero.
Negación del Negación del
cuantificador cuantificador
Negación (algún limeño no sea peruano) Negación (Todo hombre es soltero)
INFERENCIA
Es una estructura de proposiciones conformada por una o más premisas y una conclusión.
Los tipos de inferencias son :

INFERENCIA INMEDIATA INFERENCIA MEDIATA

Es toda aquella inferencia compuesta por una Son aquéllas inferencias que están
premisa y su respectiva conclusión. conformadas por dos o más premisas y su
conclusión. La estructura de proposiciones
conformada solo por dos premisas y una
Ejemplo: conclusión se denomina silogismo categórico.
Todos los futbolistas son deportistas Ejemplo:
Universal afirmativa Toda persona nacida en Lima es peruano.
PREMISAS
Se puede concluir que Jorge nació en Lima
Algún futbolista es deportista Jorge es peruano CONCLUSIÓN
Particular afirmativa
Tener en cuenta en la inferencia inmediatas
➢ De una proposición categórica universal afirmativa podemos inferir una proposición particular afirmativa.
➢ De una proposición categórica universal negativa podemos inferir una proposición particular negativa.
Aplicación: 01 Resolución:

De la siguiente proposición “Todos los Piden: La conclusión de la proposición categórica

poetas son románticos” se puede “Todos los poetas son románticos”
concluir:
A) Todos los románticos son Recordando:
poetas.
B) Ciertos poetas son románticos . De una proposición categórica universal afirmativa
C) Algunos poetas no son podemos inferir una proposición particular
románticos. afirmativa.
D) Muchos poetas no son En el problema
románticos
E) Los románticos son poetas. 𝑃: Todo los poetas son románticos
𝐶: Algunos poetas son románticos

Ciertos poetas son románticos.

Aplicación: 02 Resolución:

Indique la proposición que corresponde al Piden: La proposición categórica que representa dicha grafica
siguiente esquema:
Recordando.
científicos matemáticos ➢ Algún S no es P.

X X

A) Todos los científicos son Recuerde primero se lee

matemáticos. donde esta representado
B) Todos los matemáticos son con (X)
científicos.
En el problema
C) Algunos científicos son
matemáticos. científicos matemáticos
D) Algunos científicos no son Se lee:
matemáticos X Algunos matemáticos no son científicos
E) Algunos matemáticos no son
científicos. Algunos matemáticos no son científicos.
Representación gráfica mediante
diagramas de Venn, inferencia Negación Silogismos
mediata e inmediata
 NEGACIÓN

• Todos los ingenieros son creativos. Algunos ingenieros no son creativos.

ingenieros creativos ingenieros creativos
NEGACIÓN
X

• Ningún estudiante es irresponsable. Algún estudiante es irresponsable.

estudiante irresponsable estudiante irresponsable

NEGACIÓN
X
• Algunos animales son carnívoros. Ningún animal es carnívoro.
animales carnívoros
animales carnívoros

X NEGACIÓN
X

• Algunos poetas son no románticos. Todos los poetas son románticos.

poetas románticos
poetas románticos
NEGACIÓN
X
X
Conclusión:

UNIVERSAL AFIRMATIVA PARTICULAR NEGATIVA

P S P
S NEGACIÓN
Todo S es P Algún S no es P X
NEGACIÓN
Algún S no es P ≡ Algún S es no P

UNIVERSAL NEGATIVA PARTICULAR AFIRMATIVA

S P
S P
NEGACIÓN
Algún S es P X
Ningún S es P
NEGACIÓN
Ningún S es P ≡ Ningún P es S Algún S es P ≡ Algún P es S
EQUIVALENCIAS ESPECIALES: Para cuantificadores universales

I. Cuando el predicado está negado: Se traduce como el cambio del cuantificador universal

Ningún A es no B ≡ Todo A es B no mortal

Ningún hombre es inmortal ≡ Todo hombre es mortal

Todo A es no B ≡ Ningún A es B no cauto ≡ Ningún estudiante es cauto

Todo estudiante es incauto

II. Cuando el verbo está negado : Se traduce como la negación de la proposición categórica

Todo A no es B ≡ No (Todo A es B) Todos los jueces no son imparciales

≡ No ( Todo los jueces son imparciales)

Ningún A no es B ≡ No (Ningún A es B)
≡ Algunos jueces no son imparciales
Aplicación: 03 Resolución:

Señale la negación de la proposición Piden: La negación de la siguiente proposición categórica

Toda madre de familia es trabajadora. • Toda madre de familia es trabajadora.
Negación
Recordando.
A) Las madres de familia son
Proposición categórica Negación S P S P
trabajadoras
B) Ninguna madre de familia es Todo S es P Algún S no es P X
trabajadora
En el problema Madre f Trabaja Madre f Trabaja
C) Toda trabajadora es madre de
familia • Toda madre de familia es trabajadora
D) Algunas trabajadoras son madre Negación
de familia
E) Hay madres de familia que no Alguna madre de familia no es trabajadora
son trabajadoras

Hay madres de familia que no son trabajadoras

Aplicación: 04 Resolución:

Indique la alternativa que representa la Piden: La alternativa equivalente a la siguiente proposición categórica
proposición equivalente a Todos los
alumnos son estudiosos. • Todos los alumnos son estudioso

Recordando
A) Todos los estudiosos son alumnos.
B) Algunos alumnos no son estudiosos. • Todo A es B ≡ Ningún A es no B
C) Ningún alumno es estudioso.
D) Ningún alumno es no estudioso. Todos los alumnos son estudioso ≡ Ningún alumno es no estudioso
E) Algunos estudiosos no son alumnos.
Ningún alumno es no estudioso
Representación gráfica mediante
diagramas de Venn, inferencia Negación Silogismos
mediata e inmediata
SILOGISMOS
Es un tipo de inferencia mediata, el cual es Ejemplo:
un razonamiento deductivo que a partir de ➢ Algunos abogados son honestos.
una o mas proposiciones, llamadas premisas,
se deriva una nueva proposición llamada
conclusión. Existen silogismos categóricos, ➢ Todos los honestos son triunfadores
hipotéticos, alternativos, disyuntivos, etc.
Silogismo categórico ABOGADOS TRIUNFADORES
Es un razonamiento deductivo que
consistente en que a partir de dos premisas
se obtiene una conclusión.
Pasos: X
1. Reconocemos en las dos premisas, las clases que intervienen.
2. Las 3 clases se grafican de manera general y se sugiere que la clase
que se repite se ubique en la parte inferior.
3. Se gráfica cada premisa comenzando por la proposición universal.
HONESTOS
4. Del gráfico final se obtiene la conclusión teniendo en cuenta que la
clase que se repite no aparezca en la conclusión. ∴ Algunos abogados son triunfadores.
OBSERVACIÓN: ELEMENTO EXISTENCIAL

Es el elemento que hace posible y garantiza que ninguna clase sea vacía.
RECUERDA:
Debemos tener en cuenta que utilizaremos el elemento existencial sólo cuando no haya una conclusión
inmediata, en ese sentido se podría en algunos casos inferir sobre la información que se conoce.
Ejemplo:
¿Qué proposición particular se A B
deduce del siguiente gráfico?

Cada clase debe tener

por lo menos un
elemento Todo A es B Algún A es B
 Aplicación: 05 Resolución:
Nos piden : La negación de la conclusión personas honestas
¿Cuál es la negación de la conclusión de las x
siguientes proposiciones? Algunas personas son honestas

- La mayoría de las personas son honestas. honesto corrupto

Ningún honesto es corrupto
- Ningún honesto es corrupto Luego:
personas corruptos conclusión
A) Ciertos honestos son justos. personas corruptos
B) Muchos corruptos no son honestos. X
C) Algunas personas no son corruptas.
X negación
D) Todas las personas son corruptas.
personas corruptos
E) Algunos corruptos no son personas.
honestos

Todas las personas son corruptas

Aplicación: 06 Resolución:

¿Qué se puede concluir a partir de las Piden: La conclusión de las siguientes premisas.
siguientes proposiciones?
• Todo alumno pre es estudioso
• Los alumnos preuniversitarios son desordenado estudioso
estudiosos. Alumno pre estudioso
• Ningún desordenado es alumno
preuniversitario.
X
A) Todo ordenado es estudioso.
B) Algunos ordenados son • Ningún desordenado es alumno pre Alumno pre
estudiosos. Cada clase debe
C) Los desordenados no son desordenado Alumno pre tener por lo menos
estudiosos. un elemento
D) Muchos estudiosos no son Se concluye
desordenados.
Algunos estudiosos no son desordenados
E) Casi todos los alumnos Varios,
preuniversitarios son ordenados. ciertos,…
Muchos estudiosos no son desordenados
w w w.academiacesar vallejo.edu.pe