TOMO II

RAZONAMIENTO
LÓGICO
I FASE 2025

CEPRUNSA
 FILOSOFÍA CEPRUNSA I FASE - 2025
de verdad o falsedad y es un tipo de inferencia donde la conclusión se
obtiene a partir de una sola premisa.

RAZONAMIENTO LÓGICO El cuadro de oposición es un tipo de esquema que permite establecer

relaciones lógicas de oposición entre las proposiciones categóricas. Estas

TEMA 6: relaciones son: contradictorias, contrarias, subcontrarias y subalternas.

Cada una es un tipo de inferencia inmediata por implicación y se
CUADRADO TRADICIONAL DE identifican según la relación por cantidad, cualidad o distribución.

OPOSICIÓN 1.1 CUALIDAD CANTIDAD DISTRIBUCIÓN

La cualidad de una proposición categórica es afirmativa o negativa,

El cuadro de oposición es un esquema que permite según la aseveración de sus términos de forma total o parcial. Las
establecer relaciones lógicas mediante las proposiciones
categóricas típicas. Son inferencias inmediatas por proposiciones A e I por cualidad son afirmativas y las proposiciones E y
implicación. Según la relación por cantidad, cualidad o O son negativas.
distribución pueden ser: contradictorias, contrarias,
subcontrarias y subalternas.
La cantidad describe si una proposición categórica es universal o
particular. Así, las proposiciones A y E son universales en cantidad y las

1 INFERENCIA INMEDIATA POR IMPLICACIÓN proposiciones I y O son particulares en cantidad.

Es una operación lógica condicional o hipotética compuesta por dos La distribución se presenta en una proposición según lo que se plantea
proposiciones identificadas como antecedente y consecuente. La en el sujeto respecto del predicado y viceversa. Una proposición puede
inferencia inmediata se refiere de una relación semántica entre valores

BIOMÉDICAS 1
 CEPRUNSA I FASE – 2025 FILOSOFÍA
tener distribuido todos, algunos o ninguno de sus términos, según la − Todo S es P A
− Ningún S es P E
referencia a los integrantes de sus clases.
− Algún S es P I
Sujeto distribuido − Algún S no es P O
Predicado no Todo S es P Ningún S es P Predicado
distribuido Algún S es P Algún S no es P distribuido
Sujeto no distribuido

− Término sujeto distribuido en (A) y (E). Todos los integrantes del

sujeto pertenecen o están dentro del conjunto que se identifica
como predicado
− Término sujeto no distribuido en (I) y (O). Sólo existen algunos
integrantes del sujeto que pertenecen (o no pertenecen) al
conjunto que se identifica como predicado.
− Término predicado no distribuido, en (A) y (I). No todos los
2 CONTRADICTORIAS
integrantes del predicado pertenecen al conjunto que se
identifica como sujeto. Dos proposiciones son contradictorias si una de ellas es la negación de

− Término predicado distribuido. Todos los integrantes del la otra. Ambas no pueden ser (V) a la vez, tampoco (F). Así, las

predicado tal que ninguno de ellos pertenece al conjunto que se proposiciones (A) y (O) son opuestas tanto en cualidad como en

identifica como sujeto. cantidad, son contradictorias. Exactamente una es (V) y la otra es (F) o
una es (F) y exactamente la otra es (V). De igual manera ocurre con (E)
Las proposiciones categóricas típicas son básicamente cuatro, se le y (I).
atribuye una vocal mayúscula y se ubican en cada vértice del cuadrado:

2 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025

3 CONTRARIAS 5 SUBALTERNACIÓN
Dos proposiciones son contrarias si no pueden ser ambas (V), pero sí Es la relación que existe entre una proposición universal y su particular
pueden ser (F) a la vez. Son las proposiciones universales (A) y (E). con la que comparte la misma cualidad, pero distinta cantidad. A la
proposición universal se le denomina superalterna y a la particular,
subalterna.

4 SUBCONTRARIAS

Dos proposiciones son subcontrarias cuando ambas no pueden ser (F), La verdad de las subalternas depende de las universales. Si cualquier
pero sí pueden ser (V) a la vez. Son las proposiciones particulares (I) y universal es (V), la subalterna también lo es, si cualquier universal es
(O). (F), la subalterna queda indeterminada (Ind). Similarmente, la falsedad
BIOMÉDICAS 3
 CEPRUNSA I FASE – 2025 FILOSOFÍA
de las superalternas depende de las particulares. Si cualquier particular
es (V), la superalterna es (Ind) y si cualquier particular es (F), la
superalterna también lo es.
RAZONAMIENTO LÓGICO
En síntesis:

− Si A es verdadera: E es Falsa, I es Verdadera, O es falsa. TEMA 7:

− Si E es verdadera: A es falsa, I es falsa, O es verdadera.
− Si I es verdadera: E es falsa, A y O son indeterminadas. INFERENCIA INMEDIATA POR
− Si O es verdadera: A es falsa, E e I son indeterminadas.
− Si A es falsa: O es verdadera, E e I son indeterminadas. EQUIVALENCIA
− Si E es falsa: I es verdadera, A y O son indeterminadas.
− Si I es falsa: A es falsa, E es verdadera, O es verdadera.
− Si O es falsa: A es verdadera, E es falsa, I es verdadera.
La inferencia inmediata por equivalencia es una operación
Ejemplos: lógica de igualdad a partir de proposiciones categóricas y
están unidas por el conector lógico que se lee: “equivale”.
Es una relación semántica entre sus elementos y pueden
Si la proposición (A) “Todo mamífero es vertebrado” es (V),
ser: la conversión, la obversión y la contraposición.
necesariamente se deduce que:

( E ) Ningún mamífero es vertebrado, es F

( I ) Algunos mamíferos son vertebrados, es V
( O ) Algunos mamíferos no son vertebrados, es F
Si (A) “Toda planta es medicinal” es (F), necesariamente se deduce que: 1 INFERENCIA INMEDIATA POR EQUIVALENCIA
( E ) Ninguna planta es medicinal, es F (Ind)
( I ) Algunas plantas son medicinales, es V (Ind) Es una operación lógica de igualdad, compuesta por proposiciones que
( O ) algunas plantas no son medicinales, es V están unidas por el conector lógico según el cual se lee: “equivale”.
Refiere de una relación semántica, donde ambos elementos tienen los
4 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025
mismos valores y pueden alternar su ubicación. Pertenecen a este tipo La conversión por limitación es cuando tiene como única posibilidad
de inferencia la conversión, la obversión y la contraposición. que sólo el sujeto está distribuido en el predicado, mas no al revés. Al
cambiar el sujeto por el predicado, también cambia la cantidad de lo
2 CONVERSIÓN universal a lo particular, no obstante, la cualidad se mantiene. Ejemplo:

Es cuando el sujeto se cambia por el predicado y el predicado por el − (A) Todo astrónomo es matemático. (convertiente)
sujeto. Se le denomina convertiente a la proposición antes de − (I) Algunos matemáticos son astrónomos. (conversa)
convertirla (premisa) y conversa al resultado de la conversión
(conclusión). Puede ser simple y por limitación. No existe conversión válida en (O).

Convertiente Conversa Algunos ejemplos,

A: Todo S es P I: Algún P es S (por limitación)
− (A) Todo arequipeño es peruano. (convertiente)
E: Ningún S es P E: Ningún P es S − (I) Algunos peruanos son arequipeños. (conversa) (por
I: Algún S es P I: Algún P es S limitación)
O: Algún S no es P (conversión no válida)

La conversión simple es cuando se cambia el sujeto por el predicado − (E) Ningún científico es analfabeto. (convertiente)
− (E) Ningún analfabeto es científico. (conversa)
manteniendo la extensión de sus términos. Corresponde a las
proposiciones (E) e (I). Por ejemplo: 3 OBVERSIÓN

− (E) Ningún creyente es ateo. (convertiente) Es cuando el sujeto no cambia, tampoco la cantidad de la proposición
− (E) Ningún ateo es creyente. (conversa) que se obvierte; solo cambia la cualidad y se remplaza el predicado por
su complemento. Se aplica a las cuatro proposiciones categóricas. La
− (I) Algunos ingenieros son empresarios. (convertiente)
− (I) Algunos empresarios son ingenieros. (conversa) obvertiente es la premisa y la obversa es la conclusión.

BIOMÉDICAS 5
 CEPRUNSA I FASE – 2025 FILOSOFÍA
Obvertiente Obversa − (A) Todo felino es carnívoro. (premisa)
A: Todo S es P E: Ningún S es no–P − (A) Todo no–carnívoro es no–felino. (contrapositiva)
E: Ningún S es P A: Todo S es no–P
I: Algún S es P O: Algún S no es no–P
Si se concluye con la letra de la proposición originaria de la premisa, se
O: Algún S no es P I: Algún S es no–P
le denomina contrapositiva total; si se concluye con cualquier otra, se
Ejemplos,
le denomina contrapositiva por limitación. También existe la
− (A) Todos los bibliotecarios son lectores. (obvertiente) contrapositiva parcial, es cuando, a pesar de que se puedan desarrollar
− (E) Ningún bibliotecario es no–lector. (obversa) los tres pasos, sólo se desarrollan dos: la obversión y la conversión, ello
es posible en A, E y O.
− (O) Algunos deportistas no son veganos. (obvertiente)
Ejemplos,
− (I) Algunos deportistas son no–veganos. (obversa)

− (O) Algunos mamíferos no son cuadrúpedos. (premisa)

4 CONTRAPOSICIÓN
− (O) Algunos no–cuadrúpedos no son no–mamíferos.
Es el resultado de la aplicación de la obversión, la conversión y la (contrapositiva total)
obversión. Se forma cuando de una premisa se concluye remplazando
el sujeto por el complemento del predicado y al predicado por el − (E) Ningún mamífero es cuadrúpedo. (premisa)
complemento del sujeto. − (O) Algún no–cuadrúpedo no es no–mamífero. (contrapositiva

Premisa Contrapositiva por limitación)

A: Todo S es P A: Todo –P es –S
E: Ningún S es P O: Algún –P no es –S (por limitación)
− (E) Ningún mamífero es cuadrúpedo
I: Algún S es P No es válida
O: Algún S no es P O: Algún –P no es –S − (I) Algún no–cuadrúpedo es mamífero. (contrapositiva parcial)

Por ejemplo,
6 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025

2 CONCEPTOS BÁSICOS
2.1 CLASE

Es un conjunto de elementos que poseen una característica o

RAZONAMIENTO LÓGICO
propiedad en común, la cual puede ser sustancial o accidental. Las

TEMA 8: clases no son proposiciones, por lo que no pueden ser ni verdaderas ni

falsas.

LÓGICA DE CLASES
Una clase puede unirse con otra clase a partir de las conexiones o de
las relaciones.

La lógica de clases analiza una proposición determinada 2.2 SIMBOLIZACIÓN

considerando la pertenencia o no pertenencia de un
elemento o individuo clasificado por poseer una Variables individuales. Refiere de sujetos indeterminados, se utilizan
determinada propiedad. Abordaremos tipos de clase,
relaciones entre clases y conexiones entre clases. las últimas letras del abecedario, x, y, z, x1, y1, z1…

Variables de clase. Se utiliza las letras mayúsculas del abecedario A, B,

C, D… También suele usarse S, P y M.

1 DEFINICIÓN
Pertenencia a una clase. Se usa el símbolo  o en su defecto . Por
En la lógica de clases se señala la pertenencia del sujeto a la clase del ejemplo, donde x es un individuo y A es un conjunto.
predicado. Esta lógica investiga, analiza las relaciones formales entre
clases que se presentan en una proposición determinada. − x  A, se lee x pertenece a (o es elemento de) A.
− x  A, x no pertenece a (o no es elemento de) A.
BIOMÉDICAS 7
 CEPRUNSA I FASE – 2025 FILOSOFÍA
Complemento de clase. Es la negación “–” de una clase. Se escribe: –A U
o también A̅ . Se lee: complemento de A.

2.3 TIPOS DE CLASE

2.3.1 CLASE UNIVERSAL A=

2.3.3 CLASE NO VACÍA
Incluye la totalidad de las otras clases. Se representa con el símbolo U
y se diagrama con un rectángulo. También se denomina dominio del Es cuando una clase incluye elementos, aunque no se sepa cuántos,

discurso o universo del discurso. pero por lo menos hay un elemento en su interior. Por la falta de
determinación de cuántos son, se representa una “x” en el área que
U
corresponde a la clase.
U

U≠
A≠

2.3.2 CLASE VACÍA 3 RELACIONES ENTRE CLASES

Toda clase está incluida en (U), incluso la clase vacía. Pero en este caso Con la relación entre clases se obtienen proposiciones. Existen
la clase vacía excluye todo objeto, de tal modo que no contiene alguno. diferentes tipos de relaciones entre clases de tal modo que una puede
Se diagrama con un círculo dentro de (U) y se lo sombrea incluir a otra, pero también puede excluirla o tener el mismo valor de
representándolo con el símbolo . igualdad entre sus elementos.

8 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025
3.1 INCLUSIÓN − Las águilas no son frugívoras, la clase de águilas están excluidas
de la clase frugívoros. La exclusión conlleva a la afirmación de
Una clase está incluida en otra cuando todos sus elementos de la
que la primera clase está excluida de la segunda.
primera son también elementos de la segunda. Ejemplo,
U
− Todo insecto es invertebrado. A B

U x
B
A
A B

x 3.3 IGUALDAD

AB Hay igualdad cuando todos los elementos son comunes a ambas clases.
O sea, todo miembro de A es miembro de B y los miembros de B son
A es la clase de insectos y B es la clase de los invertebrados. La clase B
miembros de A.
es más amplia que la clase A, por eso B incluye A, o también, A está
incluida en B. La inclusión conlleva a la afirmación de que la primera es U

subclase de la segunda.
x
3.2 EXCLUSIÓN A  B

Una clase está excluida de otra cuando ningún elemento de la primera A=B
es un elemento de la segunda. Por ejemplo,
Sea la clase A los trabajadores honrados y la clase B los trabajadores
que son decentes. Los individuos del grupo A son exactamente los

BIOMÉDICAS 9
 CEPRUNSA I FASE – 2025 FILOSOFÍA
mismos que los del grupo B. Pero la igualdad se da en las clases, no en 4.2 UNIÓN
los individuos.
Es la suma de dos clases. La nueva clase está conformada por todos los

4 CONEXIONES ENTRE CLASES elementos tanto de la primera como de la segunda.

U
La conexión entre clases no genera proposiciones, solo una nueva
clase. Esa nueva clase contiene algo en común con las anteriores.
Básicamente existen tres tipos: intersección, unión y diferencia.

4.1 INTERSECCIÓN
Formalmente A∪B
Es el producto de dos clases que tienen elementos en común. A partir
Por ejemplo, a partir de la clase de empresarios (A) y la clase de
de la intersección de dos clases surge una tercera.
profesionales (B), surge una nueva clase la de empresarios
U
profesionales.

4.3 DIFERENCIA

Es la clase formada por los elementos de la primera que no pertenecen

Formalmente, A∩B
a la segunda clase. A partir de dos clases se puede construir una nueva.
Considerando, la clase de las aves (A) y la clase nocturnos (B). La nueva Existen elementos en A que no pertenecen a B.
clase es la de aves nocturnas; se la denomina clase producto. U

10 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025

Formalmente: A–B RAZONAMIENTO LÓGICO

Dadas las clases A = {3,5,7,9,11} y B = {9,11,13,15} la diferencia de estos TEMA 9:

conjuntos será A–B = {3,5,7}.
FORMULACIONES Y DIAGRAMAS

En los diagramas de Venn se permite la agrupación de elementos

dentro de un universo cerrado. Se pueden graficar proposiciones
categóricas típicas y atípicas que contienen dos clases, una que
representa al sujeto (S) y otra que representa al predicado (P). En
la conexión entre clases se debe mencionar junto (SP) como una
Dados dos conjuntos A = {2,4,6,8,10} y B = {8,10,12,14,16} la diferencia
tercera clase. Como resultado de la intersección, se constituye un
B–A = {12,14,16}. De acuerdo con los diagramas de Venn tenemos: nuevo tipo de fórmula para cada proposición categórica.

1 DIAGRAMAS DE VENN

Es la agrupación de elementos en una colección finita dentro de un

universo cerrado U. Su demostración y presentación gráfica siempre
está en relación con otro conjunto.

BIOMÉDICAS 11
 CEPRUNSA I FASE – 2025 FILOSOFÍA

2 DIAGRAMACIÓN DE PROPOSICIONES A: Todo S es P

CATEGÓRICAS TÍPICAS

Las proposiciones categóricas típicas contienen dos clases o conjuntos,

una que representa al sujeto (S) y otra que representa al predicado (P). S∩P̅ = 
E: Ningún S es P
En la conexión entre clases no se puede mencionar por separado sino
junto (SP) como una tercera clase.

Como es el resultado de la intersección entre clases, se constituye un

S∩P = 
nuevo tipo de fórmula para cada proposición categórica. I: Algún S es P
S∩P̅ =  que corresponde A Todo S es P
S∩P =  que corresponde E Ningún S es P
S∩P ≠  que corresponde I Algún S es P
S∩P̅ ≠  que corresponde O Algún S no es P
S∩P ≠ 
O: Algún S no es P
Estas fórmulas se pueden graficar en los diagramas de Venn, teniendo
en consideración el siguiente esquema:

S∩P̅ ≠ 

Los gráficos de las proposiciones típicas son:

12 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025

3 DIAGRAMACIÓN DE PROPOSICIONES Paso 6: representar en el diagrama de Venn.

CATEGÓRICAS ATÍPICAS

Se denominan atípicas a otros modos que pueden adoptar las

proposiciones categóricas típicas. Uno de esos modos es el uso de la Otro ejemplo:
negación como complemento. Por ejemplo 1. No es el caso que algún no–herbívoro es no–
omnívoro
Todo no–extensible es no–medible
▪ Paso 1: Determinar la estructura formal de la proposición. (EF)
No es el caso que algún no–H es no–O
Para graficar seguimos los siguientes pasos:
S P (corresponde a Algún S es P)

Paso 1: Determinar la estructura formal (EF) de la proposición. ▪ Paso 2: Determinar la fórmula booleana: (FB)
Todo no–E es no–M S∩P ≠ 
S P (Corresponde a Todo S es P) ▪ Paso 3: Determinar la fórmula atípica: (FA)
–(H̅ i O̅ )
Paso 2: Determinar la fórmula booleana: (FB) ▪ Paso 4: Unificar la FB y la FA:
S∩P̅ =  –(S̅ P̅) ≠ 
▪ Paso 5: Trasladar la negación de toda la proposición a la igualdad (o
Paso 3: Determinar la fórmula atípica: (FA) diferencia según corresponda) de la fórmula.
S̅ a P̅ (S̅ P̅) = 
▪ Paso 6: Representar en diagrama de Venn:
Paso 4: Unificar la FB y la FA:
S̅ P̅ = 
S∩P̅ = 
S̅ a P̅
S̅∩P̿ = 

Paso 5: Aplicar la regla de la doble negación: (doble complemento).

S̅ P = 
BIOMÉDICAS 13
 CEPRUNSA I FASE – 2025 FILOSOFÍA
Por ejemplo,

− Todo batracio es anfibio

Toda rana es batracio
RAZONAMIENTO LÓGICO ∴ Toda rana es anfibio

2 CARACTERÍSTICAS
TEMA 10: − Tiene premisa mayor, premisa menor y conclusión.
− Tiene tres términos: Mayor (P), Medio (M) y Menor (S).
SILOGISMO CATEGÓRICO
− Tiene el término (M) sólo en las premisas.
− El sujeto de la Conclusión es (S) y se encuentra en la premisa
El silogismo categórico típico es un tipo de inferencia Menor.
mediata constituido por tres proposiciones categóricas,
− El predicado de la Conclusión es (P) y se halla en la premisa
tienen sus propias características y ocho reglas, que si se
vulneran se comente algún tipo de falacia formal. Se los Mayor.
puede construir considerando el modo y figura, además con
la intersección de clases se los puede simbolizar y graficar.
El ejemplo anterior lo podemos simbolizar del siguiente modo:

(A) Todo B es A MaP

(A) Todo R es B SaM
(A) ∴ Todo R es A ∴SaP
1 INTRODUCCIÓN
Con la intersección de clases podemos simbolizar del siguiente modo:
Un silogismo categórico típico es un tipo de inferencia mediata
constituido por tres proposiciones categóricas elegibles de las cuatro M∩P̅ = 
S∩M̅ = 
existentes (AEIO).
∴ S∩P̅ = 

14 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025

3 REGLAS 3.3 REGLA 3

3.1 REGLA 1
El término Medio es un enlace entre las premisas para sustentar la
Un silogismo debe contener exactamente tres términos, Mayor, Medio conclusión. La conclusión nunca debe contener al término Medio, éste
y Menor, cada uno de los cuales se usa en el mismo sentido en todo el sólo debe estar en las premisas. Caso contrario se violenta la regla 3.
argumento. Cualquier silogismo categórico que contiene más de tres Toda inexactitud es un error
términos es inválido y se comete la falacia del cuarto término. Todo error es desacierto
∴ Todo error es inexactitud
Todos los hombres son mortales
Las mujeres no son hombres 3.4 REGLA 4
∴ Las mujeres no son mortales En un silogismo, si cualquier término está distribuido en la conclusión,
3.2 REGLA 2 también debe estar distribuido en la premisa. Ningún término debe
tener mayor extensión en la conclusión que en las premisas.
En un silogismo el término Medio debe estar distribuido por lo menos
Cuando el término Mayor no está distribuido en la premisa, pero sí lo
en una de las premisas. El término Menor y el término Mayor deben
está en la conclusión, se comete la falacia del ilícito Mayor.
estar relacionados adecuadamente entre sí y luego estos con un
tercero. De lo contrario se comete la falacia del término Medio no Todo triángulo es un polígono
Ningún círculo es triángulo
distribuido.
∴ Ningún círculo es un polígono
Todas las ranas son anfibios
Todas las salamandras son anfibios Cuando el término Menor no está distribuido en la premisa, pero sí lo
∴ Todas las ranas son salamandras está en la conclusión, se comete la falacia del ilícito Menor.

Toda proposición es verdadera o falsa

Toda proposición es oración
∴ Toda oración es verdadera o falsa
BIOMÉDICAS 15
 CEPRUNSA I FASE – 2025 FILOSOFÍA
3.5 REGLA 5 3.7 REGLA 7

Ningún silogismo que tiene dos premisas negativas es válido. De dos De dos premisas particulares, nada se concluye. Todo silogismo debe
premisas negativas, nada se concluye. Cualquier silogismo que rompe contener por lo menos una proposición universal, caso contrario se
esta regla comete la falacia de premisa exclusiva. comete una variante de la falacia existencial.

Ningún metal es soluble en agua Algunas menestras son legumbres

Algunas moléculas no polares no son solubles en agua Algunas plantas son menestras
∴ Algunas moléculas no polares no son metales ∴ Algunas plantas son legumbres

3.6 REGLA 6 3.8 REGLA 8

Si cualquier premisa de un silogismo es negativa, la conclusión también Ningún silogismo con una conclusión particular puede tener dos
debe serlo. De premisas afirmativas no se debe deducir una conclusión premisas universales. La conclusión sigue siempre a la premisa más
negativa. Cualquier silogismo que rompe esta regla comete la falacia débil, que es la premisa particular o la premisa negativa.
de extraer una conclusión afirmativa de una premisa negativa.
Dos casos: de premisas que no tienen carga negativa se llega a una
Todas águilas son aves cazadoras
Algunas aves cazadoras no son frugívoras conclusión que sí la tiene y que además se asevera algo que en las
∴ Algunos frugívoros son águilas premisas no; de premisas que no tienen carga afirmativa se llega a una
conclusión que sí la tiene y que además se asevera algo que en la
Similarmente, si las premisas son afirmativas, la conclusión también
conclusión no.
debería serlo. Si no se cumple ello, se comete la falacia de extraer una
conclusión negativa de premisas afirmativas. Todos los peces son acuáticos.
Todos los tiburones son acuáticos
Todos los reptiles son cazadores ∴ Algunos tiburones no son peces
Algunos cuadrúpedos son reptiles
Todo felino es de sangre caliente.
∴ Algunos cuadrúpedos no son cazadores
16 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025
Ningún animal de sangre caliente es acuático MaP
∴ Todo animal de sangre caliente es felino MiS
∴SiP
4 FIGURAS Y MODOS
4.1 FIGURAS Cada figura posee 16 modos de combinación de premisas. Para cada
una de estas 16 existen 4 modos de conclusión, que al multiplicar
Se denominan figuras del silogismo a las diversas posturas que adopta
resultan 64 modos de silogismo. Como son 4 figuras, multiplicado 64 X
el término Medio respecto del término Menor y del término Mayor.
4 se obtiene 256 modos de silogismo categórico. De este conjunto sólo
Primera Figura Segunda Figura Tercera Figura Cuarta Figura son válidos aquellos que pasan exitosamente el examen de las ocho
M P P M M P P M reglas. Generalmente se considera 24 modos de silogismo válido. Pero
S M S M M S M S
9 están relacionados con el problema del contenido existencial, por ello
∴S P ∴S P ∴S P ∴S P
solo se considera 15 modos válidos de modo directo.
4.2 MODOS
1ª figura 2ª figura 3ª figura 4ª figura

Son la manera en que están construidas las premisas y conclusión BARBARA CESARE DATISI CAMENES
según la elección alternativa de proposiciones (AEIO). Se elige dos
CELARENT CAMESTRES DISAMIS FRESISON
letras para las premisas; a partir de ellas se desprende la conclusión.
DARII FESTINO BOCARDO DIMARIS
El siguiente silogismo es del modo AII de la tercera figura:
FERIO BAROCO FERISON
Todos los delfines son acuáticos.
Algunos delfines son mamíferos.
Luego, algunos mamíferos son acuáticos.

Al simbolizar se observa su modo y figura.

BIOMÉDICAS 17
 CEPRUNSA I FASE – 2025 FILOSOFÍA
4.3 VERIFICACIÓN Formalmente:

− MaP̅ = 
Un silogismo categórico se puede verificar con los diagramas de Venn;
SaM̅ = 
para ello es necesario graficar tres círculos que entre sí se traslapan ∴ SaP̅ = 
parcialmente.
Primero se grafica los tres círculos:

Luego se grafica la premisa mayor, MaP̅ =  (o la premisa universal).

Al evaluar un silogismo se debe tomar en consideración lo siguiente:

− En el diagrama sólo se debe graficar o representar las premisas;

la conclusión no; ésta sólo debe leerse.
− Si cualquier premisa es universal y la otra particular, primero se Después se grafica la premisa menor SaM̅ =  (o la premisa particular).

grafica la premisa universal.

− El silogismo es lógicamente válido si y sólo si al ser graficada las
premisas queda automáticamente graficada, de manera
completa e inequívoca, la conclusión. Si la conclusión no queda
Luego de estas dos gráficas debería “leerse” la conclusión SaP̅ = . Si
graficada o graficada parcialmente, el silogismo es no válido.
la conclusión se lee, el silogismo es válido, de lo contrario, es inválido.
− Todos los árboles son verdes.
Todos los pinos son árboles.
Luego, todos los pinos son verdes.

18 BIOMÉDICAS
 FILOSOFÍA CEPRUNSA I FASE - 2025
Bibliografía

1. Agazzi, E. (1986). La lógica simbólica. Barcelona: Herder.

2. Arnaz J. (1995). Iniciación a la lógica simbólica. México: Ed. Trillas.
3. Badesa, C. et all. (1998). Elementos de lógica formal. Barcelona:
Ejemplos:
Ariel
− Algunos insectos son venenosos. 4. Bustamante, A. (2009). Lógica y argumentación. De los
Todas las hormigas son venenosas. argumentos inductivos a las álgebras de Boole. México: Pearson
Por lo tanto, algunas hormigas son insectos. Educación.
5. Casillas, P. (2016). Fundamentos de la lógica. Perú: Ecoprint EIRL.
6. Copi, I. y Cohen, C. (2007). Introducción a la Lógica. México:
Noriega Editores.
7. Cori R. y Lascar D. (2003). Logique mathématique, 1. Calcul
propositionnel, algèbre de Boole, calcul des prédicats. Paris: Dunod
Silogismo inválido 8. Couturat, Louis. (1980). L’algebra de la logique. Paris: Albert
Además, vulnera la regla 2 y comete la falacia del término medio no Blanchard.
distribuido 9. Deaño, A. (2009) Introducción a la lógica formal. Madrid: Alianza
Editorial.
− Todo crustáceo es artrópodo 10. Fernandez, M. et all. (1996). Lógica elemental. México:
Todo crustáceo es invertebrado Universidad Autónoma Metropolitana.
Todo invertebrado es artrópodo 11. Gamut, L. (2002). Introducción a la Lógica. Argentina: Eudeba
12. García, C. (2008). El arte de la Lógica. Madrid: Tecnos.
13. Lozano, M. (2016). Manual de lógica elemental. México:Trillas.
14. Mosterín, J. y Torretti, R. (2010). Diccionario de lógica y filosofía de
la ciencia. Madrid: Alianza Editorial.
15. Quine. W. (1969). Los métodos de la lógica. Barcelona: Ariel.

Es un silogismo inválido, se vulnera la regla 4 y se comete la falacia del

ilícito mayor.

BIOMÉDICAS 19