TRILCE

Captulo
LGICA PREDICATIVA:
8 PROPOSICIONES CATEGRICAS
CONCEPTO: Las proposiciones categricas 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 coleccin de objetos que tienen algunas caractersticas especficas en comn. Las proposiciones
categricas afirman o niegan la relacin entre clases.

CARACTERSTICAS

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

* Poseen 2 trminos: Trmino Sujeto (S) y Trmino Predicado (P).
* Llevan Cuantificadores (Todos, Ningn, 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 tpicas y su relacin:

Formas tpicas Relacin

Todo S es P. Inclusin total
Ningn S es P Exclusin total
Algn S es P Inclusin parcial
Algn S no es P Exclusin parcial

Ejemplo:

1. Todos los hombres son inteligentes.

2. Ningn poltico es honesto.
3. Algunos deportistas son atletas.
4. Algunos mamferos no son cuadrpedos.

La proposicin categrica es un enunciado que afirma o niega algo. Esta proposicin es pieza central de la teora deductiva
aristotlica, porque la proposicin categrica expresa relaciones de inclusin o exclusin entre clases, que pueden ser, por
otra parte, relaciones de inclusin total o parcial.
En la proposicin "todos los hombres son mortales", se expresa la relacin de inclusin total. La clase de los hombres est
incluida totalmente en la clase de los mortales. Se expresa por: Todo S es P.

En la proposicin "Ningn hombre es mortal", se expresa la relacin de exclusin total. Ningn elemento de la clase de los
hombres pertenece a la clase de los mortales. Se expresa por: Ningn S es P.

En la proposicin "Algunos hombres son mortales", se ve la relacin de inclusin parcial. Al menos uno de la clase de los
hombres et inluido en la clase de los mortales. Se expresa por: Algn S es P.

En la proposicin "Algunos hombres no son mortales" se advierte la relacin de exclusin parcial. Expresa que al menos
uno de los hombres no pertenece a la clase de los mortales. Se expresa por: Algn S no es P.

69
Lgica

CALIDAD Y CANTIDAD

Las proposiciones categricas de forma tpica son por su calidad afirmativas y negativas, y por su cantidad universales y
particulares. Son cuatro las formas tpicas de proposiciones categricas:
Todo S es P Ningn S es P
Afirmativa s Negativas
Algn S es P Algn S no es P
Normalmente, usamos las letras maysculas A, E, I, O, para representar las cuatro formas tpicas de proposiciones categricas:

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 proposicin categrica de forma tpica es universal o particular. Es universal cuando abarca a todos los
miembros de la clase designada por el trmino sujeto. Es particular cuando abarca solamente algunos (por lo menos uno
o ms 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.
Ningn reptil es ave.
Algunos jugadores son deportistas.
Algunos reptiles no son aves.

Las proposiciones categricas de forma tpica comienzan sus enunciados con los cuantificadores "todos", "ningn", "algunos".
Estos cuantificadores indican la cantidad de las proposiciones.

Elementos: Las proposiciones categricas poseen cuatro elementos:

Cuantificador Sujeto (S) Verbo Predicado (P)

Ej. Algunos Profesionales Son Mdicos

Todos los hombres son mortales .

C S V P

Ningn 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 negacin antes de la cpula. En su simbolizacin correspondiente:

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

S e P se lee "Ningn 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
maysculas A - E - I - O y que indican la calidad y la cantidad de las proposiciones.

70
 TRILCE

Distribucin de trminos

Cuando un determinado trmino del silogismo tiene cantidad universal se dice que est distribuido. El siguiente cuadro
presenta los trminos distribuidos encerrados en un crculo:

A : Todos S es P
E : Ningn S es P
I : Algn S es P
O : Algn S no es P

Los Diagramas de Venn

Son crculos que se trasladan y se utilizan para graficar las relaciones entre conjuntos o clases y, consiguientemente, en el
anlisis de las proposiciones categricas.

CUADRO DE RESUMEN:

Proposicin categrica Forma tpica Tipo Cantidad y Frmula Diagrama de

cualidad Booleana Venn
Todos los filsofos son Todo S SaP A Universal SP
crticos es P afirmativa S P

Ningn Argentino es Ningn SeP E Universal SP

brasilero S es P negativa S P

Algn animal es terrestre Algn SiP I Particular SP

S es P afirmativa S x P

Algn profesional no es Algn SoP O Particular SP

arquitecto S no es negativa S x P
P

71
Lgica

PRCTICA
01. Seale lo verdadero de: d) Slo particular.
"Algunos materialistas no son socialistas". e) Slo universal.
a) Particular negativa, trmino distribuido: socialistas.
b) Universal afirmativa, trmino distribuido: socialis- 07. Qu letra representa a: "Ningn ave tiene pelaje"?
tas. a) A b) E c) I
c) Particular afirmativa, T. distribuido: materialista. d) O e) U
d) Particular negativa, trmino distribuido: materialis-
tas 08. Cul es la frmula que corresponde a: "Todo filsofo
e) Universal negativa, no hay trminos distribuidos. es crtico"?

02. Si L = da laborable y F = da festivo y el diagrama es a) FC b) FC c) FC

el que sigue. Diga Ud. cul es la expresin correcta:
d) FC e) FC
U
09. Qu proposicin corresponde a una universal
X negativa?
a) Todo x es y.
L F b) Algn x es y.
c) Ningn x es y.
a) Alguno das no laborales son das festivos. d) Algn x no es y.
b) Todos los das festivos son laborables. e) Todo no x es y.
c) Algunos das no festivos no son laborables.
d) Todos los das festivos no son laborables. 10. Constituye una relacin de inclusin parcial:
e) Ningn da festivo es laborable. a) Todo A es B.
b) Ningn A es B.
03. Simbolice mediante frmulas booleanas y grafique por
c) Algn A no es B.
diagramas de Venn la siguiente proposicin categrica.
d) Algn A es B.
"Algunos estudiantes son impuntuales".
e) Algn 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 frmula Booleana del siguiente diagrama es: 12. Qu grfico 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 Lgica Predicativa estudia proposiciones:

a) Conjuntivas. b) Atmicas. 13. El grfico corresponde a:
c) Categricas. d) Condicionales. P
S
e) Negativas.
x
06. La proposicin categrica es una proposicin:
a) Acerca de clases. a) Todo no S es P.
b) Que solo afirma. b) Ningn S es P.
c) Algn no S es no P.
c) Que solo niega.

72
 TRILCE

d) Algn S es P. a) P b) S c) S
e) Algn no S es P.
d) P e) P
14. Todo ladrn es deshonesto. Luego:
a) Ningn ladrn es honesto.
21. Realiz una interpretacin algebrica de la Lgica de
b) Algn ladrn es honesto.
c) Todo honesto es ladrn. predicados:
d) Ningn ladrn es deshonesto. a) Leibnitz.
e) Algn no ladrn es deshonesto. b) Aristteles.
c) Frege.
15. Si no es verdad que ciertos reptiles sean vivparos, d) Boole.
entonces: e) Venn.
a) Todo vivparo es reptil.
b) Ningn reptil es vivparo. 22. Las ........... son aserciones acerca de clases que afirman
c) Algn reptil es vivparo. o niegan si una clase est incluida o excluida en otra,
d) Algn vivparo es reptil. sea total o parcialmente.
a) Inferencias inmediatas.
e) Algn no reptil es no vivparo.
b) Proposiciones.
c) Inferencias mediatas.
16. Equivalen al cuantificador "Algn(os)": d) Proposiciones categricas.
a) Cualquier, cada. e) Afirmaciones categricas.
b) Ciertos, muchos.
c) No hay, no existe. 23. No es una caracterstica de las proposiciones categricas:
d) El 100%, varios. a) Posee un cuantificador.
e) Los, la totalidad. b) Posee sujeto y predicado.
c) Posee un verbo copulativo.
17. Seale la frmula de: d) Determinan la validez de las inferencias.
e) b y c.

S P 24. La proposicin:
x "Todos los hombres son mortales".
a) Inclusin parcial.
b) Exclusin total.
a) SP b) SP c) SP c) Inclusin total.
d) Exclusin parcial.
d) PS e) P S e) Proposicin Universal Vlida.

18. Ubique la frmula de: 25. Cul 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 frmula pertenece a: x
e)
U S P

26. Si en un grfico tuviramos dos clases (La clase

A B S=Hombres y la clase P=Mujeres). Cmo
representaramos 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 frmula de:

S P
x

73
Lgica

27. Relacione: a) Una proposicin de tipo A.

I. Todos los S son P. b) Algunas limeas son rubias.
II. Algunos S no son P. c) Todos los ateos son no creyentes.
III. Ningn S es P. d) Todos los hombres son fieles.
IV. Algunos S son P. e) a y d.

A. Indica que en la interseccin de S y P hay elemen- 33. La siguiente proposicin:

tos por lo menos uno. "Algunos filsofos no son cuerdos".
B. Indica que en la interseccin de S y P no hay ele- a) No se refiere a todos los filsofos, sino solamente a
mentos. aquellos que son cuerdos.
C. Indica que en la interseccin de S que no es P no b) Se refiere a la clase filsofos 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 filsofos son locos.
tos por lo menos uno. d) Afirma que todos los filsofos no son cuerdos.
e) No afirma que todos los filsofos son cuerdos, ni
a) IIIA , IIB , IC , IVD. menos que todos los cuerdos son filsofos.
b) IC , IIIB , IID , IVA.
c) IIIA , IVB , IIC , ID. 34. Las proposiciones categricas de forma tpica
d) IVD , IIC , IIIB , IA. comienzan sus enunciados con los .................. "todos",
e) IIIB , IC , IVD , IIA. "ningn", "algunos", los cuales nos indican la ...............
de las proposiciones.
28. Las proposiciones categricas de forma tpica son por a) trminos - jerarqua.
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) trminos - extensin.
c) negativas, particulares - afirmativas, universales.
d) afirmativas, negativas - particulares, universales. 35. Seale Ud. la proposicin que refiere a todos los
e) particulares, universales - afirmativas, negativas. miembros de la clase designada por su trmino sujeto
y, por consiguiente, lo distribuye:
29. El Diagrama respectivo se entiende como: a) Todos los hombres son mortales.
b) Ningn psiclogo es desorganizado.
S P
c) Algunos filsofos no son locos.
d) No todo filsofo no es loco.
e) Algunos matemticos son lgicos.
a) Algunos S no son P.
b) Ningn S no es P. 36. El diagrama respectivo se entiende como:
c) Ningn P no es S. S P
d) Ningn S es P.
e) Algunos no S no son P.
a) La clase de S que no es P no posee elementos, es
30. Seale lo incorrecto: vaco.
a) A : SP ; Universal afirmativa. b) La clase P que no es de S no hay elementos, es
vaco.
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. Seale la proposicin contraria de la siguiente
afirmacin :
31. La expresin: "Ningn peruano es chileno", es "Todos los abogados son profesionales".
definida como: a) Algunos abogados son profesionales.
a) Proposicin universal negativa. b) Ningn profesional es no abogado.
b) Tipo E y frmula SP = O. c) Ningn abogado es profesional.
c) Tipo O y frmula SP O . d) Es falso que ningn abogado sea profesional.
d) Tipo E y frmula SP O e) Algunos no profesionales no son abogados.
e) a y b.
38. Identifique el diagrama correcto de la expresin:
32. Es una proposicin universal afirmativa, en la cual el "Todo artista es meticuloso".
trmino sujeto est distribuido en el trmino predicado,
pero el trmino predicado, no est distribuido en el
trmino sujeto: a) b)
A M A M

74
 TRILCE

x Es definida como:
a) Proposicin particular negativa.
c) d) b) Tipo "I" y frmula SP O
A M A M
c) Su frmula es SP O
d) Tipo "O" y frmula SP O
x e) Proposicin universal particular.
e)
A M
45. La proposicin SAP se diferencia con la proposicin
39. La oracin: 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 categricas. Seale lo a) Relacin de inclusin total.
b) Relacin de exclusin parcial.
no correcto:
c) Relacin de inclusin y exclusin.
a) Son aserciones acerca de clases.
d) Relacin de inclusin total y parcial.
b) Afirman o niegan inclusin o exclusin de clases.
e) Relacin de exclusin total y parcial.
c) Un cuantificador seala cantidad definida o indefi-
nida. 47. Es falso que los pudientes no sean humildes, se
d) El todo S es P hay exclusin total. diagrama como:
e) Los tipos son A - E - I - O, respectivamente.
U U
41. En la proposicin: a) b)
"Cualquier ciudadano es mayor de edad". S P S P
Lo incorrecto es:
a) Forma tpica "Todo S es P". U U
b) Hay afirmacin de S y negacin de P. x
c) d)
c) Tipo A y frmula SP O . S P S P
d) Hay inclusin total.
e) El rea diagramada es "S". U
x x
e)
42. Determine la frmula que representa a la proposicin: S P
"Algunos no - orgullosos no son incultos".
a) SP O b) ~ (SP O) 48. Seale 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 proposicin:
d) O : SP O : Particular negativa.
"Todos los famosos son adinerados".
e) Toda son correctas.
I. El trmino "S" denota universo.
II. Su frmula categrica es SP = O. 49. "Casi la mayora de los que se prepararon en
III. El cuantificador es indefinido. TRILCE han ingresado a San Marcos".
IV. Pertenece al tipo "A". La relacin 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) Slo IV es verdadera. e) SP O ; Tipo I.

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

75
Lgica

50. En, "Los seres vivos estn constituidos por 56. Seale una proposicin de tipo I:
muchas clulas". a) "Varios estudiosos no tienen buenos trabajos"
La relacin en esta proposicin categrica es de: b) "Las manzanas son frutas"
a) Inclusin parcial. c) "Ni siquiera el alma es inmortal"
b) Inclusin total. d) "La mayor parte de los poetas son literatos"
c) Exclusin total. e) "Es mentira que algunos catlicos sean ateos"
d) Exclusin parcial.
e) Oposicin total. 57. "Los estudiosos de TRILCE siempre participan
en olimpiadas internacionales", la formulacin
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 frmula: 58. Identifique el diagrama correcto en la expresin : "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 polticos son abogados", la frmula que le A M A M
corresponde a la proposicin 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 sealan, respectivamente:
a) Relacin de exclusin total.
G H G H
b) Relacin de exclusin parcial.
c) d) x c) Relacin de inclusin y exclusin.
d) Relacin de inclusin parcial y total.
G H e) Relacin de exclusin total y parcial.
e)
60. La proposicin:
"Todos los economi stas son tcnicos
profesionales".
54. Cul de las proposiciones categricas resulta de calidad
Tiene como contradictoria a la proposicin:
afirmativa?
a) "Es falso que algn sordo sea ciego". a) "Algunos economistas son tcnicos profesionales".
b) "No ocurre que todo nio es egocntrico". b) "Ningn economista es tcnico profesional".
c) "Ningn docente es universitario". c) "Algunos economistas no son tcnicos profesiona-
d) "Todo empresario no es inversionista". les".
d) Ningn tcnico profesional es economista.
e) "Es imposible que ningn joven sea aventurero".
e) Todo tcnico profesional no es economista.
55. Qu tipo de relacin se da en la siguiente proposicin
categrica: "Algunas at letas son
latinoamericanos"?
a) Exclusin total.
b) Exclusin parcial.
c) Inclusin total.
d) Inclusin parcial.
e) Inclusin - exclusin.

76