TRILCE

69
Captulo
LGICA PREDICATIVA:
PROPOSICIONES CATEGRICAS
8
CONCEPTO: Las proposiciones categricas son aserciones acerca de clases que afirm an o niegan que una clase est
incluida en otra, ya sea en form a parcial o total.
Ejemplo: "Todas las aves tienen alas".
U na "clase" es una coleccin de objetos que tienen algunas caractersticas especficas en com n. Las proposiciones
categricas afirm an o niegan la relacin entre clases.
CARACTERSTICAS
* Son proposiciones predicativas (Sujeto - Verbo - Predicado).
* Poseen 2 trm inos: Trm ino Sujeto (S) y Trm ino Predicado (P).
* Llevan C uantificadores (Todos, N ingn, Algunos, M uchos, Pocos).
* Son C U AN TITATIVAS: Es decir poseen C antidad (U niversales y Particulares).
* Son C U ALITATIVAS: Tienen una C ualidad o C alidad (Afirm ativas y N egativas).
* U tilizan el Lenguaje Booleano.
* Se representan m ediante los diagram as de Venn.
Las formas tpicas y su relacin:
Formas t picas Relacin
Todo S es P. Inclusin total
N ingn S es P Exclusin total
A lgn S es P Inclusin parcial
A lgn S no es P Exclusin parcial

Ejemplo:
1. Todos los hom bres son inteligentes.
2. N ingn poltico es honesto.
3. Algunos deportistas son atletas.
4. Algunos m am feros no son cuadrpedos.
La proposicin categrica es un enunciado que afirm a 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 hom bres son m ortales", se expresa la relacin de inclusin total. La clase de los hom bres est
incluida totalm ente en la clase de los m ortales. Se expresa por: Todo S es P.
En la proposicin "N ingn hom bre es m ortal", se expresa la relacin de exclusin total. N ingn elem ento de la clase de los
hom bres pertenece a la clase de los m ortales. Se expresa por: N ingn S es P.
En la proposicin "Algunos hom bres son m ortales", se ve la relacin de inclusin parcial. Al m enos uno de la clase de los
hom bres et inluido en la clase de los m ortales. Se expresa por: Algn S es P.
En la proposicin "Algunos hom bres no son m ortales" se advierte la relacin de exclusin parcial. Expresa que al m enos
uno de los hom bres no pertenece a la clase de los m ortales. Se expresa por: Algn S no es P.
Lgica
70
CALIDAD Y CANTIDAD
Las proposiciones categricas de form a tpica son por su calidad afirm ativas y negativas, y por su cantidad universales y
particulares. Son cuatro las form as tpicas de proposiciones categricas:

P es S A lgn
P es S Todo
s A firm ativa

P es no S A lgn
P es S ingn N
N egativas
N orm alm ente, usam os las letras m aysculas A, E, I, O , para representar las cuatro form as tpicas de proposiciones categricas:
A : Para la universal afirm ativa.
E : Para la universal negativa.
I : Para la particular afirm ativa.
O : Para la particular negativa.
A e I, que representan las proposiciones afirm ativas, se dice que vienen del verbo latino "Affirmo" (afirm o), E y O que
representan a las negativas vienen del verbo latino "nEgO" (niego).
La cantidad de la proposicin categrica de form a tpica es universal o particular. Es universal cuando abarca a todos los
m iem bros de la clase designada por el trm ino sujeto. Es particular cuando abarca solam ente algunos (por lo m enos uno
o m s de uno) m iem bros de la clase designada por el sujeto.
Son universales las proposiciones A y E. Y particulares I y O .
Ejem plos:
Todos los jugadores son deportistas.
N ingn reptil es ave.
Algunos jugadores son deportistas.
Algunos reptiles no son aves.
Las proposiciones categricas de form a tpica com ienzan sus enunciados con los cuantificadores "todos", "ningn", "algunos".
Estos cuantificadores indican la cantidad de las proposiciones.
Elementos: Las proposiciones categricas poseen cuatro elem entos:
Cuantificador Sujeto (S) Verbo Predicado (P)
Ej. Algunos Profesionales Son M dicos

Todos los hom bres son m ortales
C S V P
.
N ingn contribuyente es honrado
C S V P
.
A lgunos hom bres son m ortales
C S V P
.
A lgunos contribuyentes no son m ortales
C S V P
.
En este ltim o caso, se agrega la negacin antes de la cpula. En su sim bolizacin correspondiente:
S a P se lee "Todo S es P".
S e P se lee "N ingn 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
m aysculas A - E - I - O y que indican la calidad y la cantidad de las proposiciones.
TRILCE
71
Distribucin de trminos
C uando un determ inado trm ino del silogism o tiene cantidad universal se dice que est distribuido. El siguiente cuadro
presenta los trm inos distribuidos encerrados en un crculo:
A : Todos
S
es P
E : N ingn 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, consiguientem ente, en el
anlisis de las proposiciones categricas.
CUADRO DE RESUMEN:
Proposicin categrica Forma tpica Tipo Cantidad y
cualidad
Frmula
Booleana
Diagrama de
Venn
Todos los filsofos son
crticos
Todo S
es P
SaP A U niversal
afirm ativa
P S
S
P

N ingn A rgentino es
brasilero
N ingn
S es P
SeP E U niversal
negativa
SP
S
P

A lgn anim al es terrestre A lgn
S es P
SiP I Particular
afirm ativa
SP

S P x

A lgn profesional no es
arquitecto
A lgn
S no es
P
SoP O Particular
negativa
P S

S P
x


Lgica
72
P R C T I C A
01. Seale lo verdadero de:
"Algunos materialistas no son socialistas".
a) Particular negativa, trm ino distribuido: socialistas.
b) U niversal afirm ativa, trm ino distribuido: socialis-
tas.
c) Particular afirm ativa, T. distribuido: m aterialista.
d) Particular negativa, trm ino distribuido: m aterialis-
tas
e) U niversal negativa, no hay trm inos distribuidos.
02. Si L = da laborable y F = da festivo y el diagram a es
el que sigue. D iga U d. cul es la expresin correcta:
X
U
L F
a) Alguno das no laborales son das festivos.
b) Todos los das festivos son laborables.
c) Algunos das no festivos no son laborables.
d) Todos los das festivos no son laborables.
e) N ingn da festivo es laborable.
03. Sim bolice m ediante frm ulas booleanas y grafique por
diagram as de Venn la siguiente proposicin categrica.
"Algunos estudiantes son impuntuales".
a)
E P
x
b)
E P
x
c)
E P
x
d)
E P
x
e)
E P
04. La frm ula Booleana del siguiente diagram a es:
P S
U
a) SP b) P S
c) SP d) P S
e) P S
05. La Lgica Predicativa estudia proposiciones:
a) C onjuntivas. b) Atm icas.
c) C ategricas. d) C ondicionales.
e) N egativas.
06. La proposicin categrica es una proposicin:
a) Acerca de clases.
b) Q ue solo afirm a.
c) Q ue solo niega.
d) Slo particular.
e) Slo universal.
07. Q u letra representa a: "Ningn ave tiene pelaje"?
a) A b) E c) I
d) O e) U
08. C ul es la frm ula que corresponde a: "Todo filsofo
es crtico"?
a) FC b) FC c) C F
d) C F e) C F
09. Q u proposicin corresponde a una universal
negativa?
a) Todo x es y.
b) Algn x es y.
c) N ingn x es y.
d) Algn x no es y.
e) Todo no x es y.
10. C onstituye una relacin de inclusin parcial:
a) Todo A es B.
b) N ingn A es B.
c) Algn A no es B.
d) Algn A es B.
e) Algn no A no es B.
11.

S
x
C orresponde a:
a) S b) S c) S
d) S e) ? S
12. Q u grfico corresponde a Todo S es P?
a)
x
P S
b) P S
c) P S d)
x
P S
e) P S
13. El grfico corresponde a:
P
x
S
a) Todo no S es P.
b) N ingn S es P.
c) Algn no S es no P.
TRILCE
73
d) Algn S es P.
e) Algn no S es P.
14. Todo ladrn es deshonesto. Luego:
a) N ingn ladrn es honesto.
b) Algn ladrn es honesto.
c) Todo honesto es ladrn.
d) N ingn ladrn es deshonesto.
e) Algn no ladrn es deshonesto.
15. Si no es verdad que ciertos reptiles sean vivparos,
entonces:
a) Todo vivparo es reptil.
b) N ingn reptil es vivparo.
c) Algn reptil es vivparo.
d) Algn vivparo es reptil.
e) Algn no reptil es no vivparo.
16. Equivalen al cuantificador "Algn(os)":
a) C ualquier, cada.
b) C iertos, m uchos.
c) N o hay, no existe.
d) El 100% , varios.
e) Los, la totalidad.
17. Seale la frm ula de:
P
x
S
a)
P S
b) SP c) P S
d) S P e) S P
18. U bique la frm ula de:
P S
a) S b) P c) PS
d) P S e) P S
19. Q u frm ula pertenece a:
U
A B
a) A B b) B A c) B A
d) A B e)
A B
20. U bique la frm ula de:
P S
x
a) P b) S c) S
d) P e) P
21. Realiz una interpretacin algebrica de la Lgica de
predicados:
a) Leibnitz.
b) A ristteles.
c) Frege.
d) B oole.
e) Venn.
22. Las ........... son aserciones acerca de clases que afirm an
o niegan si una clase est incluida o excluida en otra,
sea total o parcialm ente.
a) Inferencias inm ediatas.
b) Proposiciones.
c) Inferencias m ediatas.
d) Proposiciones categricas.
e) Afirm aciones categricas.
23. N o es una caracterstica de las proposiciones categricas:
a) Posee un cuantificador.
b) Posee sujeto y predicado.
c) Posee un verbo copulativo.
d) D eterm inan la validez de las inferencias.
e) b y c.
24. La proposicin:
"Todos los hombres son mortales".
a) Inclusin parcial.
b) Exclusin total.
c) Inclusin total.
d) Exclusin parcial.
e) Proposicin U niversal Vlida.
25. C ul de las siguientes alternativas expresa que al
m enos un elem ento de la clase S no pertenece a la
clase P?
a)
P S
x
b)
x
P S
c)
P S
d) x
P S
e)
x
P S
26. Si en un grfico tuviram os dos clases (La clase
S = H om bres y la clase P= M ujeres). C m o
representaram os la clase de los que no son hom bres
ni m ujeres?
a) S P b) P S c) P S
d) P S e) S
Lgica
74
27. R elacione:
I. Todos los S son P.
II. Algunos S no son P.
III. N ingn S es P.
IV. Algunos S son P.
A. Indica que en la interseccin de S y P hay elem en-
tos por lo m enos uno.
B. Indica que en la interseccin de S y P no hay ele-
m entos.
C. Indica que en la interseccin de S que no es P no
hay elem entos.
D . Indica que en la clase de S que no es P hay elem en-
tos por lo m enos uno.
a) IIIA , IIB , IC , IVD .
b) IC , IIIB , IID , IVA.
c) IIIA , IVB , IIC , ID .
d) IVD , IIC , IIIB , IA.
e) IIIB , IC , IVD , IIA.
28. Las proposiciones categricas de form a tpica son por
su calidad ............. y por su cantidad ..............
a) claras, sencillas - extensas, abstractas.
b) positivas, universales - negativas, particulares.
c) negativas, particulares - afirm ativas, universales.
d) afirm ativas, negativas - particulares, universales.
e) particulares, universales - afirm ativas, negativas.
29. El D iagram a respectivo se entiende com o:
P S
a) Algunos S no son P.
b) N ingn S no es P.
c) N ingn P no es S.
d) N ingn S es P.
e) Algunos no S no son P.
30. Seale lo incorrecto:
a) A : P S ; U niversal afirm ativa.
b) I : O SP ; Particular afirm ativa.
c) E : O P S ; Particular afirm ativa.
d) O : O P S ; Particular negativa.
e) E : SP = O ; U niversal negativa.
31. La expresin: "Ni ngn peruano es chi leno", es
definida com o:
a) Proposicin universal negativa.
b) Tipo E y frm ula SP = O .
c) Tipo O y frm ula
O SP
.
d) Tipo E y frm ula O SP
e) a y b.
32. Es una proposicin universal afirm ativa, en la cual el
trm ino sujeto est distribuido en el trm ino predicado,
pero el trm ino predicado, no est distribuido en el
trm ino sujeto:
a) U na proposicin de tipo A.
b) Algunas lim eas son rubias.
c) Todos los ateos son no creyentes.
d) Todos los hom bres son fieles.
e) a y d.
33. La siguiente proposicin:
"Algunos filsofos no son cuerdos".
a) N o se refiere a todos los filsofos, sino solam ente a
aquellos que son cuerdos.
b) Se refiere a la clase filsofos que no son cuerdos
sino locos.
c) N o afirm a que todos los filsofos son locos.
d) Afirm a que todos los filsofos no son cuerdos.
e) N o afirm a que todos los filsofos son cuerdos, ni
m enos que todos los cuerdos son filsofos.
34. Las proposiciones categricas de form a tpica
com ienzan sus enunciados con los .................. "todos",
"ningn", "algunos", los cuales nos indican la ...............
de las proposiciones.
a) trm inos - jerarqua.
b) universales - cantidad.
c) cuantificadores - cantidad.
d) cuantificadores - calidad.
e) trm inos - extensin.
35. Seale U d. la proposicin que refiere a todos los
m iem bros de la clase designada por su trm ino sujeto
y, por consiguiente, lo distribuye:
a) Todos los hom bres son m ortales.
b) N ingn psiclogo es desorganizado.
c) Algunos filsofos no son locos.
d) N o todo filsofo no es loco.
e) Algunos m atem ticos son lgicos.
36. El diagram a respectivo se entiende com o:
P S
a) La clase de S que no es P no posee elem entos, es
vaco.
b) La clase P que no es de S no hay elem entos, es
vaco.
c) Lo que no es de P es igual a .
d) a y b.
e) a y c.
37. Seale la proposicin contraria de la siguiente
afirm acin :
"Todos los abogados son profesionales".
a) Algunos abogados son profesionales.
b) N ingn profesional es no abogado.
c) N ingn abogado es profesional.
d) Es falso que ningn abogado sea profesional.
e) Algunos no profesionales no son abogados.
38. Identifique el diagram a correcto de la expresin:
"Todo artista es meticuloso".
a)
A M
b)
A M
TRILCE
75
c)
A M
d)
A M
x
e)
A M
x
39. La oracin:
"Algunos agricultores son financistas".
Es subcontraria de :
a) Algunos agricultores son no financistas.
b) Algunos agricultores son financistas.
c) Algunos agricultores no son financistas.
d) C iertos agricultores son financistas.
e) Algunos agricultores no son financistas.
40. En cuanto a las proposiciones categricas. Seale lo
no correcto:
a) Son aserciones acerca de clases.
b) Afirm an o niegan inclusin o exclusin de clases.
c) U n cuantificador seala cantidad definida o indefi-
nida.
d) El todo S es P hay exclusin total.
e) Los tipos son A - E - I - O , respectivam ente.
41. En la proposicin:
"Cualquier ciudadano es mayor de edad".
Lo incorrecto es:
a) Form a tpica "Todo S es P".
b) H ay afirm acin de S y negacin de P.
c) Tipo A y frm ula O P S .
d) H ay inclusin total.
e) El rea diagram ada es "S".
42. D eterm ine la frm ula que representa a la proposicin:
"Algunos no - orgullosos no son incultos".
a)
O SP
b) ) O P S ( ~
c)
0 P S
d) ) O SP ( ~
e) O P S
43. D ada la proposicin:
"Todos los famosos son adinerados".
I. El trm ino "S" denota universo.
II. Su frm ula categrica es SP = O .
III. El cuantificador es indefinido.
IV. Pertenece al tipo "A".
a) Todas son ciertas.
b) II y III son falsas.
c) I y IV son falsas.
d) I y II son ciertas.
e) Slo IV es verdadera.
44. La expresin:
"Existe por lo menos un peruano que no haya
viajado a Cuba".
Es definida com o:
a) Proposicin particular negativa.
b) Tipo "I" y frm ula O P S
c) Su frm ula es O P S
d) Tipo "O " y frm ula O SP
e) Proposicin universal particular.
45. La proposicin SAP se diferencia con la proposicin
SEP en el sentido que:
a) Tienen la m ism a cantidad, pero distinta cualidad.
b) Se diferencian por la cantidad.
c) Se diferencian tanto en cantidad com o en cualidad.
d) Tienen distinta cantidad, pero igual cualidad.
e) Tienen la m ism a cantidad y cualidad.
46. Los tipos proposicionales "A" e "I " determ inan;
respectivam ente:
a) Relacin de inclusin total.
b) Relacin de exclusin parcial.
c) Relacin de inclusin y exclusin.
d) Relacin de inclusin total y parcial.
e) Relacin de exclusin total y parcial.
47. E s falso que los pudientes no sean hum ildes, se
diagram a com o:
a)
S P
U
b)
S P
U
c)
S P
x
U
d)
S P
U
e)
S P
x
U
x
48. Seale lo incorrecto:
a) A : O P S : U niversal afirm ativa.
b) E : O SP : U niversal negativa.
c) I : O P S : Particular afirm ativa.
d) O : O P S : Particular negativa.
e) Toda son correctas.
49. "Casi la mayora de los que se prepararon en
TRILCE han ingresado a San Marcos".
La relacin correcta es:
a)
O SP
; Tipo I
b)
O P S
; Tipo O . .
c)
O P S
; Tipo A.
d) SP = O ; Tipo E.
e)
O P S
; Tipo I.
Lgica
76
50. En, "Los seres vivos estn consti tui dos por
muchas clulas".
La relacin en esta proposicin categrica es de:
a) Inclusin parcial.
b) Inclusin total.
c) Exclusin total.
d) Exclusin parcial.
e) O posicin total.
51.
P S
U
El diagram a anterior tiene com o frm ula:
a)
O P S
b)
O P S
c) ) O P S ( ~
d) Todos e) a y c
52. "Ciertos polticos son abogados", la frm ula que le
corresponde a la proposicin es:
a) O P S b) O P S c) O P S
d) O P S e) O SP
53. "Es imposible que algunos gobernantes no sean
honestos".
El diagram a que le corresponde es:
a)
G H
b)
G H
c)
G H
d)
x
G H
e)
G H
54. C ul de las proposiciones categricas resulta de calidad
afirm ativa?
a) "Es falso que algn sordo sea ciego".
b) "N o ocurre que todo nio es egocntrico".
c) "N ingn docente es universitario".
d) "Todo em presario no es inversionista".
e) "Es im posible que ningn joven sea aventurero".
55. Q u tipo de relacin se da en la siguiente proposicin
categrica: "Al gunas atl etas son
latinoamericanos"?
a) Exclusin total.
b) Exclusin parcial.
c) Inclusin total.
d) Inclusin parcial.
e) Inclusin - exclusin.
56. Seale una proposicin de tipo I:
a) "Varios estudiosos no tienen buenos trabajos"
b) "Las m anzanas son frutas"
c) "N i siquiera el alm a es inm ortal"
d) "La m ayor parte de los poetas son literatos"
e) "Es m entira que algunos catlicos sean ateos"
57. "Los estudiosos de TRILCE siempre participan
en olimpi adas i nternacional es", la form ulacin
correcta es:
a) SP = O b)
O SP
c) O P S
d) O P S e) O P S
58. Identifique el diagram a correcto en la expresin : "Todo
ateo es materialista".
a)
A M
b)
A M
c)
A M
d)
A M
x
e)
A M
x
59. Las proposiciones E y O sealan, respectivam ente:
a) Relacin de exclusin total.
b) Relacin de exclusin parcial.
c) Relacin de inclusin y exclusin.
d) Relacin de inclusin parcial y total.
e) Relacin de exclusin total y parcial.
60. La proposicin:
"Todos l os economi stas son tcni cos
profesionales".
Tiene com o contradictoria a la proposicin:
a) "Algunos econom istas son tcnicos profesionales".
b) "N ingn econom ista es tcnico profesional".
c) "Algunos econom istas no son tcnicos profesiona-
les".
d) N ingn tcnico profesional es econom ista.
e) Todo tcnico profesional no es econom ista.