Cuadro de Boecio
Cuadro de Boecio
Cuadro de Boecio
INFERENCIAS INMEDIATAS
Ejemplo:
1. LA CONVERSIÓN
A. CONVERSAS SIMPLES
PREMISA CONCLUSIÓN
SeP PeS
SiP PiS
Ejemplos:
*Si Algunas mujeres son médicos entonces Algunos médicos son mujeres
S I P P I S
PREMISA CONCLUSIÓN
SaP Pi S
SeP PoS
Ejemplos:
*Todos los humanos son seres vivos entonces Algunos seres vivos son humanos
S A P P I S
2. LA OBERSIÓN
PREMISA → CONCLUSIÓN
SaP → Se̅
P
SeP → ̅
SaP
SiP → ̅
SoP
SoP → ̅
SiP
Ejemplos
Si Todos los escritores son utópicos entonces ningún escritor es no utópico
Si Ningún juez es arbitrario entonces Todos los jueces son no arbitrarios
Si Algunos jóvenes son responsables, entonces Algunos jóvenes no son no responsables
Si Algunos autos no son nuevos, entonces Algunos autos son no nuevos
3. LA CONTRAPOSICIÓN
A. CONTRAPUESTA PARCIAL:
Es una inferencia donde la conclusión se deduce al sustituir el sujeto por el
complemento del predicado, y sustituyendo el predicado por el sujeto. La conclusión
es de distinta calidad en relación a su premisa.
La contrapuesta parcial es la Conversa de la Obversa de una proposición dada
(obversa + conversa = contrapuesta total)
PREMISA CONCLUSIÓN
SaP Se̅ P ̅
P e S y P̅ o S
SeP SaP̅ ̅iS
P
SiP no tiene
SoP ̅
PiS Si̅P
B. CONTRAPUESTA TOTAL:
UNIVERSIDAD NACIONAL DE CAJAMARCA
DEPARTAMENTO ACADÉMICO DE MATEMÁTICAS
PREMISA CONCLUSIÓN
SaP Se̅P ̅
PeS ̅
P a S̅
SeP SaP̅
SeP ̅ o S̅
P
SiP no tiene
SoP Si̅
P ̅
PiS P̅ o S̅
Son inferencias inmediatas que resultan de relacionar las cuatro formas típicas según
el cuadro tradicional de la oposición de Boecio (480-524).
El cuadro de Boecio suministra la base para determinar que las inferencias inmediatas
sean o no válidas, para ello se debe conocer la V o F de una de las cuatro
proposiciones categóricas de forma típica, para inferir inmediatamente la verdad o
falsedad de las otras.
El Cuadro de Boecio, entonces, permite visualizar estas transformaciones y entender
cómo una proposición en una forma puede relacionarse o transformarse en otra,
preservando la validez lógica. Es una herramienta fundamental en el estudio de la
lógica para analizar argumentos, entender la estructura de las proposiciones, y
desarrollar habilidades de razonamiento crítico.
El Cuadro de Boecio es útil no solo para el análisis lógico formal sino también para
el razonamiento práctico, ya que ayuda a visualizar y comprender las implicaciones
de diferentes tipos de afirmaciones sobre el mundo. Este cuadro ha sido una
herramienta clave en la enseñanza de la lógica desde la antigüedad hasta la actualidad,
ofreciendo una manera sistemática de analizar la validez de argumentos y la relación
entre diferentes afirmaciones.
(S a P) A Co ntraria s E (S e P)
s u b a l t e rn a n t e
s u b a l t e rn a n t e
Co
s
s u b a l te rna
s u b a l te rna
ia
nt
or
ra
ct
di
di
ra ct
nt or
Co ia
s
(S i P) I S ub -c o ntrarias O (S o P)
UNIVERSIDAD NACIONAL DE CAJAMARCA
DEPARTAMENTO ACADÉMICO DE MATEMÁTICAS
* CONTRADICTORIAS
A E I O V F
O I E A F V
* CONTRARIAS
* SUBCONTRARIAS
* SUBALTERNAS
* SUBALTERNANTES
Ejemplos:
1. Por equivalencia
A =~ O
E =~ I
I=~ E
O =~ A
2. Por implicación
~ I →O
~ O →I
A →I
E →O
~ I → ~ A
~ O→ ~ E
PRÁCTICA
02. "Si todos los ratones comen queso, entonces............ "La conclusión correcta
para que el razonamiento sea válido, es:
a) Algunos ratones no comen queso.
b) Nadie que coma queso es ratón.
c) Algunos que comen queso son ratones.
d) Algunos que comen queso no son ratones.
e) Todo aquel que come queso no es ratón.
05. "Es falso que algunas mujeres opten por el machismo", equivale a:
a) Toda mujer opta por el machismo.
b) Ninguna mujer opta por el machismo.
c) Algunas mujeres optan por el machismo.
d) Muchas mujeres no optan por el machismo.
e) No toda mujer opta por el machismo.
UNIVERSIDAD NACIONAL DE CAJAMARCA
DEPARTAMENTO ACADÉMICO DE MATEMÁTICAS
a) b)
G H
x
c) d)
G H
e)
27. "Es falso que todo inculto sea deshonesto". La proposición categórica que
resulta como equivalente es de forma típica:
a) S e P b) No S e P
c) S i P d) S o P
e) No S i P
d) Consistente.
e) Inválido.
29. Las relaciones entre las proposiciones de Tipo I y O en el cuadro de oposición
son:
a) Subcontrarias.
b) Subalternantes.
c) Contrarias.
d) Contradictorias.
e) Subalternas.
31. "Es imposible que todo joven sea estudioso". Determinar la conclusión
correcta del argumento anterior:
I. Algunos jóvenes son no estudiosos.
II. Todo estudioso no es joven.
III. Algunos estudiosos no son jóvenes.
a) Sólo I.
b) Sólo II.
c) II y III.
d) Todas.
e) Sólo III.
32. "Si todos los universitarios van a la biblioteca, entonces....... "La conclusión
para que el razonamiento sea válido es:
a) Algunos universitarios no van a la biblioteca.
b) Nadie que vaya a la biblioteca es universitario.
c) Algunos que van a la biblioteca son universitarios.
d) Algunos que van a la biblioteca no son universitarios.
e) Todo aquel que va a la biblioteca no es universitario.
e) N.A
56. Halle el equivalente de: "No es cierto que ciertos esquimales sean
carpinteros".
a) Los esquimales son carpinteros.
b) Muchos carpinteros son esquimales.
c) No existe esquimal que sea carpintero.
d) Los esquimales son carpinteros
e) No existen esquimales.
a) Todo M es X.
b) Algún S es M.
c) Ningún X es M.
d) No existe M que sea X.
e) Pocos X son M.