TRILCE

Capítulo
LÓGICA PREDICATIVA:
8 PROPOSICIONES CATEGÓRICAS
CONCEPTO: Las proposiciones categóricas son aserciones acerca de clases que afirman o niegan que una clase esté
incluida en otra, ya sea en forma parcial o total.

Ejemplo: "Todas las aves tienen alas".

Una "clase" es una colección de objetos que tienen algunas características específicas en común. Las proposiciones
categóricas afirman o niegan la relación entre clases.

CARACTERÍSTICAS

* Son proposiciones predicativas (Sujeto - Verbo - Predicado).

* Poseen 2 términos: Término Sujeto (S) y Término Predicado (P).
* Llevan Cuantificadores (Todos, Ningún, Algunos, Muchos, Pocos).
* Son CUANTITATIVAS: Es decir poseen Cantidad (Universales y Particulares).
* Son CUALITATIVAS: Tienen una Cualidad o Calidad (Afirmativas y Negativas).
* Utilizan el Lenguaje Booleano.
* Se representan mediante los diagramas de Venn.

Las formas típicas y su relación:

Formas típicas Relación

Todo S es P. Inclusión total
Ningún S es P Exclusión total
Algún S es P Inclusión parcial
Algún S no es P Exclusión parcial

Ejemplo:

1. Todos los hombres son inteligentes.

2. Ningún político es honesto.
3. Algunos deportistas son atletas.
4. Algunos mamíferos no son cuadrúpedos.

La proposición categórica es un enunciado que afirma o niega algo. Esta proposición es pieza central de la teoría deductiva
aristotélica, porque la proposición categórica expresa relaciones de inclusión o exclusión entre clases, que pueden ser, por
otra parte, relaciones de inclusión total o parcial.
En la proposición "todos los hombres son mortales", se expresa la relación de inclusión total. La clase de los hombres está
incluida totalmente en la clase de los mortales. Se expresa por: Todo S es P.

En la proposición "Ningún hombre es mortal", se expresa la relación de exclusión total. Ningún elemento de la clase de los
hombres pertenece a la clase de los mortales. Se expresa por: Ningún S es P.

En la proposición "Algunos hombres son mortales", se ve la relación de inclusión parcial. Al menos uno de la clase de los
hombres etá inluido en la clase de los mortales. Se expresa por: Algún S es P.

En la proposición "Algunos hombres no son mortales" se advierte la relación de exclusión parcial. Expresa que al menos
uno de los hombres no pertenece a la clase de los mortales. Se expresa por: Algún S no es P.

69
Lógica

CALIDAD Y CANTIDAD

Las proposiciones categóricas de forma típica son por su calidad afirmativas y negativas, y por su cantidad universales y
particulares. Son cuatro las formas típicas de proposiciones categóricas:
 Todo S es P Ningún S es P
Afirmativa s  Negativas 
 Algún S es P  Algún S no es P
Normalmente, usamos las letras mayúsculas A, E, I, O, para representar las cuatro formas típicas de proposiciones categóricas:

A : Para la universal afirmativa.

E : Para la universal negativa.
I : Para la particular afirmativa.
O : Para la particular negativa.

A e I, que representan las proposiciones afirmativas, se dice que vienen del verbo latino "Affirmo" (afirmo), E y O que
representan a las negativas vienen del verbo latino "nEgO" (niego).

La cantidad de la proposición categórica de forma típica es universal o particular. Es universal cuando abarca a todos los
miembros de la clase designada por el término sujeto. Es particular cuando abarca solamente algunos (por lo menos uno
o más de uno) miembros de la clase designada por el sujeto.

Son universales las proposiciones A y E. Y particulares I y O.

Ejemplos:
Todos los jugadores son deportistas.
Ningún reptil es ave.
Algunos jugadores son deportistas.
Algunos reptiles no son aves.

Las proposiciones categóricas de forma típica comienzan sus enunciados con los cuantificadores "todos", "ningún", "algunos".
Estos cuantificadores indican la cantidad de las proposiciones.

Elementos: Las proposiciones categóricas poseen cuatro elementos:

Cuantificador Sujeto (S) Verbo Predicado (P)

Ej. Algunos Profesionales Son Médicos

Todos los hombres son mortales .

C S V P

Ningún contribuyente es honrado .

C S V P

Algunos hombres son mortales .

C S V P

Algunos contribuyentes no son mortales .

C S V P

En este último caso, se agrega la negación antes de la cópula. En su simbolización correspondiente:

S a P se lee "Todo S es P".

S e P se lee "Ningún S es P".
S i P se lee "Algunos S son P".
S o P se lee "Algunos S no son P".

Se puede advertir que las Letras a, e, i, o, colocados entre sujeto "(S) y predicado (P), se corresponden con sus respectivas
mayúsculas A - E - I - O y que indican la calidad y la cantidad de las proposiciones.

70
 TRILCE

Distribución de términos

Cuando un determinado término del silogismo tiene cantidad universal se dice que está distribuido. El siguiente cuadro
presenta los términos distribuidos encerrados en un círculo:

A : Todos S es P
E : Ningún S es P
I : Algún S es P
O : Algún S no es P

Los Diagramas de Venn

Son círculos que se trasladan y se utilizan para graficar las relaciones entre conjuntos o clases y, consiguientemente, en el
análisis de las proposiciones categóricas.

CUADRO DE RESUMEN:

Proposición categórica Forma típica Tipo Cantidad y Fórmula Diagrama de

cualidad Booleana Venn
Todos los filósofos son Todo S SaP A Universal SP  
críticos es P afirmativa S P

Ningún Argentino es Ningún SeP E Universal SP  

brasilero S es P negativa S P

Algún animal es terrestre Algún SiP I Particular SP  

S es P afirmativa S x P

Algún profesional no es Algún SoP O Particular SP  

arquitecto S no es negativa S x P
P

71
Lógica

PRÁCTICA
01. Señale lo verdadero de: d) Sólo particular.
"Algunos materialistas no son socialistas". e) Sólo universal.
a) Particular negativa, término distribuido: socialistas.
b) Universal afirmativa, término distribuido: socialis- 07. ¿Qué letra representa a: "Ningún ave tiene pelaje"?
tas. a) A b) E c) I
c) Particular afirmativa, T. distribuido: materialista. d) O e) U
d) Particular negativa, término distribuido: materialis-
tas 08. ¿Cuál es la fórmula que corresponde a: "Todo filósofo
e) Universal negativa, no hay términos distribuidos. es crítico"?

02. Si L = día laborable y F = día festivo y el diagrama es a) FC   b) FC   c) FC  

el que sigue. Diga Ud. cuál es la expresión correcta:
d) FC   e) FC  
U
09. ¿Qué proposición corresponde a una universal
X negativa?
a) Todo x es y.
L F b) Algún x es y.
c) Ningún x es y.
a) Alguno días no laborales son días festivos. d) Algún x no es y.
b) Todos los días festivos son laborables. e) Todo no x es y.
c) Algunos días no festivos no son laborables.
d) Todos los días festivos no son laborables. 10. Constituye una relación de inclusión parcial:
e) Ningún día festivo es laborable. a) Todo A es B.
b) Ningún A es B.
03. Simbolice mediante fórmulas booleanas y grafique por
c) Algún A no es B.
diagramas de Venn la siguiente proposición categórica.
d) Algún A es B.
"Algunos estudiantes son impuntuales".
e) Algún no A no es B.
E P E P
a) b) x 11.
x
S
E P E P x
c) d) x
x
Corresponde a:
E P
a) S   b) S   c) S  
e)
d) S   e) S  ?

04. La fórmula Booleana del siguiente diagrama es: 12. ¿Qué gráfico corresponde a Todo S es P?
U a) S P b) S P
x
S P
c) S P d) S P
a) SP   b) SP   x

c) SP   d) SP  
e) S P
e) SP  

05. La Lógica Predicativa estudia proposiciones:

a) Conjuntivas. b) Atómicas. 13. El gráfico corresponde a:
c) Categóricas. d) Condicionales. P
S
e) Negativas.
x
06. La proposición categórica es una proposición:
a) Acerca de clases. a) Todo no S es P.
b) Que solo afirma. b) Ningún S es P.
c) Algún no S es no P.
c) Que solo niega.

72
 TRILCE

d) Algún S es P. a) P   b) S   c) S  
e) Algún no S es P.
d) P   e) P  
14. Todo ladrón es deshonesto. Luego:
a) Ningún ladrón es honesto.
21. Realizó una interpretación algebráica de la Lógica de
b) Algún ladrón es honesto.
c) Todo honesto es ladrón. predicados:
d) Ningún ladrón es deshonesto. a) Leibnitz.
e) Algún no ladrón es deshonesto. b) Aristóteles.
c) Frege.
15. Si no es verdad que ciertos reptiles sean vivíparos, d) Boole.
entonces: e) Venn.
a) Todo vivíparo es reptil.
b) Ningún reptil es vivíparo. 22. Las ........... son aserciones acerca de clases que afirman
c) Algún reptil es vivíparo. o niegan si una clase está incluida o excluida en otra,
d) Algún vivíparo es reptil. sea total o parcialmente.
a) Inferencias inmediatas.
e) Algún no reptil es no vivíparo.
b) Proposiciones.
c) Inferencias mediatas.
16. Equivalen al cuantificador "Algún(os)": d) Proposiciones categóricas.
a) Cualquier, cada. e) Afirmaciones categóricas.
b) Ciertos, muchos.
c) No hay, no existe. 23. No es una característica de las proposiciones categóricas:
d) El 100%, varios. a) Posee un cuantificador.
e) Los, la totalidad. b) Posee sujeto y predicado.
c) Posee un verbo copulativo.
17. Señale la fórmula de: d) Determinan la validez de las inferencias.
e) b y c.

S P 24. La proposición:
x "Todos los hombres son mortales".
a) Inclusión parcial.
b) Exclusión total.
a) SP   b) SP   c) SP   c) Inclusión total.
d) Exclusión parcial.
d) PS   e) P S   e) Proposición Universal Válida.

18. Ubique la fórmula de: 25. ¿Cuál de las siguientes alternativas expresa que al
menos un elemento de la clase S no pertenece a la
S P clase P?

x x
a) b)
S P S P
a) S   b) P   c) PS  
d) SP   e) SP   c) d) x
S P S P
19. Qué fórmula pertenece a: x
e)
U S P

26. Si en un gráfico tuviéramos dos clases (La clase

A B S=Hombres y la clase P=Mujeres). ¿Cómo
representaríamos la clase de los que no son hombres
a) AB   b) A B   c) A B   ni mujeres?
d) AB   e) AB   a) S P b) S P c) S P
d) S P e) S
20. Ubique la fórmula de:

S P
x

73
Lógica

27. Relacione: a) Una proposición de tipo A.

I. Todos los S son P. b) Algunas limeñas son rubias.
II. Algunos S no son P. c) Todos los ateos son no creyentes.
III. Ningún S es P. d) Todos los hombres son fieles.
IV. Algunos S son P. e) a y d.

A. Indica que en la intersección de S y P hay elemen- 33. La siguiente proposición:

tos por lo menos uno. "Algunos filósofos no son cuerdos".
B. Indica que en la intersección de S y P no hay ele- a) No se refiere a todos los filósofos, sino solamente a
mentos. aquellos que son cuerdos.
C. Indica que en la intersección de S que no es P no b) Se refiere a la clase filósofos que no son cuerdos
hay elementos. sino locos.
D. Indica que en la clase de S que no es P hay elemen- c) No afirma que todos los filósofos son locos.
tos por lo menos uno. d) Afirma que todos los filósofos no son cuerdos.
e) No afirma que todos los filósofos son cuerdos, ni
a) IIIA , IIB , IC , IVD. menos que todos los cuerdos son filósofos.
b) IC , IIIB , IID , IVA.
c) IIIA , IVB , IIC , ID. 34. Las proposiciones categóricas de forma típica
d) IVD , IIC , IIIB , IA. comienzan sus enunciados con los .................. "todos",
e) IIIB , IC , IVD , IIA. "ningún", "algunos", los cuales nos indican la ...............
de las proposiciones.
28. Las proposiciones categóricas de forma típica son por a) términos - jerarquía.
su calidad ............. y por su cantidad .............. b) universales - cantidad.
a) claras, sencillas - extensas, abstractas. c) cuantificadores - cantidad.
b) positivas, universales - negativas, particulares. d) cuantificadores - calidad.
e) términos - extensión.
c) negativas, particulares - afirmativas, universales.
d) afirmativas, negativas - particulares, universales. 35. Señale Ud. la proposición que refiere a todos los
e) particulares, universales - afirmativas, negativas. miembros de la clase designada por su término sujeto
y, por consiguiente, lo distribuye:
29. El Diagrama respectivo se entiende como: a) Todos los hombres son mortales.
b) Ningún psicólogo es desorganizado.
S P
c) Algunos filósofos no son locos.
d) No todo filósofo no es loco.
e) Algunos matemáticos son lógicos.
a) Algunos S no son P.
b) Ningún S no es P. 36. El diagrama respectivo se entiende como:
c) Ningún P no es S. S P
d) Ningún S es P.
e) Algunos no S no son P.
a) La clase de S que no es P no posee elementos, es
30. Señale lo incorrecto: vacío.
a) A : SP ; Universal afirmativa. b) La clase P que no es de S no hay elementos, es
vacío.
b) I : SP  O ; Particular afirmativa. c) Lo que no es de P es igual a  .
c) E : SP  O ; Particular afirmativa. d) a y b.
e) a y c.
d) O : SP  O ; Particular negativa.
e) E : SP = O; Universal negativa. 37. Señale la proposición contraria de la siguiente
afirmación :
31. La expresión: "Ningún peruano es chileno", es "Todos los abogados son profesionales".
definida como: a) Algunos abogados son profesionales.
a) Proposición universal negativa. b) Ningún profesional es no abogado.
b) Tipo E y fórmula SP = O. c) Ningún abogado es profesional.
c) Tipo O y fórmula SP  O . d) Es falso que ningún abogado sea profesional.
d) Tipo E y fórmula SP  O e) Algunos no profesionales no son abogados.
e) a y b.
38. Identifique el diagrama correcto de la expresión:
32. Es una proposición universal afirmativa, en la cual el "Todo artista es meticuloso".
término sujeto está distribuido en el término predicado,
pero el término predicado, no está distribuido en el
término sujeto: a) b)
A M A M

74
 TRILCE

x Es definida como:
a) Proposición particular negativa.
c) d) b) Tipo "I" y fórmula SP  O
A M A M
c) Su fórmula es SP  O
d) Tipo "O" y fórmula SP  O
x e) Proposición universal particular.
e)
A M
45. La proposición SAP se diferencia con la proposición
39. La oración: SEP en el sentido que:
"Algunos agricultores son financistas". a) Tienen la misma cantidad, pero distinta cualidad.
Es subcontraria de : b) Se diferencian por la cantidad.
a) Algunos agricultores son no financistas. c) Se diferencian tanto en cantidad como en cualidad.
b) Algunos agricultores son financistas. d) Tienen distinta cantidad, pero igual cualidad.
c) Algunos agricultores no son financistas. e) Tienen la misma cantidad y cualidad.
d) Ciertos agricultores son financistas.
e) Algunos agricultores no son financistas. 46. Los tipos proposicionales "A" e "I" determinan;
respectivamente:
40. En cuanto a las proposiciones categóricas. Señale lo a) Relación de inclusión total.
b) Relación de exclusión parcial.
no correcto:
c) Relación de inclusión y exclusión.
a) Son aserciones acerca de clases.
d) Relación de inclusión total y parcial.
b) Afirman o niegan inclusión o exclusión de clases.
e) Relación de exclusión total y parcial.
c) Un cuantificador señala cantidad definida o indefi-
nida. 47. Es falso que los pudientes no sean humildes, se
d) El todo S es P hay exclusión total. diagrama como:
e) Los tipos son A - E - I - O, respectivamente.
U U
41. En la proposición: a) b)
"Cualquier ciudadano es mayor de edad". S P S P
Lo incorrecto es:
a) Forma típica "Todo S es P". U U
b) Hay afirmación de S y negación de P. x
c) d)
c) Tipo A y fórmula SP  O . S P S P
d) Hay inclusión total.
e) El área diagramada es "S". U
x x
e)
42. Determine la fórmula que representa a la proposición: S P
"Algunos no - orgullosos no son incultos".
a) SP  O b) ~ (SP  O) 48. Señale lo incorrecto:
c) SP  0 d) ~ (SP  O) a) A : SP  O : Universal afirmativa.
e) SP  O b) E : SP  O : Universal negativa.
c) I : SP  O : Particular afirmativa.
43. Dada la proposición:
d) O : SP  O : Particular negativa.
"Todos los famosos son adinerados".
e) Toda son correctas.
I. El término "S" denota universo.
II. Su fórmula categórica es SP = O. 49. "Casi la mayoría de los que se prepararon en
III. El cuantificador es indefinido. TRILCE han ingresado a San Marcos".
IV. Pertenece al tipo "A". La relación correcta es:
a) SP  O ; Tipo I
a) Todas son ciertas. b) SP  O ; Tipo O..
b) II y III son falsas.
c) SP  O ; Tipo A.
c) I y IV son falsas.
d) SP = O ; Tipo E.
d) I y II son ciertas.
e) Sólo IV es verdadera. e) SP  O ; Tipo I.

44. La expresión:
"Existe por lo menos un peruano que no haya
viajado a Cuba".

75
Lógica

50. En, "Los seres vivos están constituidos por 56. Señale una proposición de tipo I:
muchas células". a) "Varios estudiosos no tienen buenos trabajos"
La relación en esta proposición categórica es de: b) "Las manzanas son frutas"
a) Inclusión parcial. c) "Ni siquiera el alma es inmortal"
b) Inclusión total. d) "La mayor parte de los poetas son literatos"
c) Exclusión total. e) "Es mentira que algunos católicos sean ateos"
d) Exclusión parcial.
e) Oposición total. 57. "Los estudiosos de TRILCE siempre participan
en olimpiadas internacionales", la formulación
51. correcta es:
U
a) SP = O b) SP  O c) SP  O
d) SP  O e) SP  O
S P

El diagrama anterior tiene como fórmula: 58. Identifique el diagrama correcto en la expresión : "Todo
ateo es materialista".
a) S P  O b) S P  O c) ~ (SP  O)
d) Todos e) a y c
a) b)
52. "Ciertos políticos son abogados", la fórmula que le A M A M
corresponde a la proposición es:
x
a) S P  O b) SP  O c) S P  O
c) d)
d) SP  O e) SP  O A M A M

53. "Es imposible que algunos gobernantes no sean

honestos". x
El diagrama que le corresponde es: e)
A M
G H G H
a) b) 59. Las proposiciones E y O señalan, respectivamente:
a) Relación de exclusión total.
G H G H
b) Relación de exclusión parcial.
c) d) x c) Relación de inclusión y exclusión.
d) Relación de inclusión parcial y total.
G H e) Relación de exclusión total y parcial.
e)
60. La proposición:
"Todos los economi stas son técnicos
profesionales".
54. ¿Cuál de las proposiciones categóricas resulta de calidad
Tiene como contradictoria a la proposición:
afirmativa?
a) "Es falso que algún sordo sea ciego". a) "Algunos economistas son técnicos profesionales".
b) "No ocurre que todo niño es egocéntrico". b) "Ningún economista es técnico profesional".
c) "Ningún docente es universitario". c) "Algunos economistas no son técnicos profesiona-
d) "Todo empresario no es inversionista". les".
d) Ningún técnico profesional es economista.
e) "Es imposible que ningún joven sea aventurero".
e) Todo técnico profesional no es economista.
55. ¿Qué tipo de relación se da en la siguiente proposición
categórica: "Algunas at letas son
latinoamericanos"?
a) Exclusión total.
b) Exclusión parcial.
c) Inclusión total.
d) Inclusión parcial.
e) Inclusión - exclusión.

76