INSTITUCION EDUCATIVA PRIVADA

Mariscal Toribio Luzuriaga

5 A, B, C FILOSOFA Prof. Arnaldo Berner Atau Mamani

PROPOSICIONES CATEGORICAS Son enunciados que afirman o niegan algo, expresan relaciones de inclusin o exclusin entre clases, que pueden ser, por otra parte, relaciones de inclusin total o parcial. 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 Todo S es P. Ningn S es P Algn S es P Algn S no es P Relacin Inclusin total Exclusin total Inclusin parcial Exclusin parcial

Ejemplo: 1. 2. 3. 4. Todos los hombres son inteligentes. Ningn poltico es honesto. Algunos deportistas son atletas. Algunos mamferos no son cuadrpedos.

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. CALIDAD Y CANTIDAD Las proposiciones categricas de forma tpica son por su calidad son afirmativas y negativas, y por su cantidad universales y particulares. Son cuatro las formas tpicas de proposiciones categricas:
Todo S e s P Afirma tiva s s P Algn S e Ningn S e s P Ne ga tiva s s P Algn S no e

Normalmente, usamos las letras maysculas A, E, I, O, para representar las cuatro formas tpicas de proposiciones categricas: A E I O : : : : Para Para Para Para la la la la universal afirmativa. universal negativa. particular afirmativa. particular negativa.

A e I, que representan las proposiciones afirmativas, E y O que representan a las negativas. 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. Universales son las proposiciones A y E. y particulares son las proposiciones 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. Las proposiciones categricas poseen cuatro elementos:
Ej. Cuantificador Algunos Sujeto (S) Profesionales Verbo Son Predicado (P) Mdicos

T o d o s lo s h o m b r e s s o n C S V
N in g n C c o n tr ib u y e n te S

m o r t a le s P

e s h o n ra d o V P

A lg u n o s C

h o m b re s so n S V

m o r ta l e s P .
so n V m o r ta le s P .

A lg u n o s c o n t r i b u y e n t e s n o C S

. En este ltimo caso, se agrega la negacin antes de la cpula. simbolizacin correspondiente: S S S S a P se lee "Todo S es P". e P se lee "Ningn S es P". i P se lee "Algunos S son P". o P se lee "Algunos S no son P".

En su

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. 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 E I O : : : : Todos es P Ningn S es P Algn S es P Algn S no es
P S

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 A

Todos los filsofos son Todo S SaP crticos es P Ningn brasilero Argentino es Ningn SeP S es P Algn S es P SiP

Cantidad y cualidad Universal afirmativa Universal negativa Particular afirmativa Particular negativa

Frmula Booleana

Diagrama de Venn

SP = SP = SP SP

S x

Algn animal es terrestre

Algn profesional no es Algn SoP arquitecto S no es P

ACTIVIDAD DOMICILIARIA 1. Qu es la Axiologa? 2. Qu es el valor? 3. Describa las caractersticas del valor. 4. Describa la clasificacin de los valores. 5. Desarrolle las diversas tesis axiolgicas 6. Ilustrar el tema. 01. a) b) c) d) e) Seale lo verdadero de: "Algunos materialistas no son socialistas". Particular negativa, trmino distribuido: socialistas. Universal afirmativa, trmino distribuido: socialistas. Particular afirmativa, T. distribuido: materialista. Particular negativa, trmino distribuido: materialistas Universal negativa, no hay trminos distribuidos.

02. Si L = da laborable y F = da festivo y el diagrama es el que sigue. Diga Ud. cul es la expresin correcta:
U X L F

a) b) c) d) e)

Alguno das no laborales son das festivos. Todos los das festivos son laborables. Algunos das no festivos no son laborables. Todos los das festivos no son laborables. Ningn da festivo es laborable.

03. Simbolice mediante frmulas booleanas y grafique por diagramas de Venn la siguiente proposicin categrica. "Algunos estudiantes son impuntuales".
E P x E P x E P x E x P

a) c)

b) d)

e) 04. La frmula Booleana del siguiente diagrama es:

U S P

a) SP c) SP = e) SP =

b) SP = d) SP

05. La Lgica Predicativa estudia proposiciones: a) Conjuntivas. b) Atmicas. c) Categricas. d) Condicionales. e) Negativas. 06. a) b) c) d) e) 07. a) A d) O 08. La proposicin categrica es una proposicin: Acerca de clases. Que solo afirma. Que solo niega. Slo particular. Slo universal. Qu letra representa a: "Ningn ave tiene pelaje"? b) E c) I e) U Cul es la frmula que corresponde a: "Todo filsofo es crtico"? b) FC c) FC = e) FC

a) FC = d) FC 09. a) b) c) d) e) 10. a) b) c) d) e)
S

Qu proposicin corresponde a una universal negativa? Todo x es y. Algn x es y. Ningn x es y. Algn x no es y. Todo no x es y. Constituye una relacin de inclusin parcial: Todo A es B. Ningn A es B. Algn A no es B. Algn A es B. Algn no A no es B.

11.

Corresponde a: a) S = b) S c) S = d) S e) S = ? 12. a) c) e) 13. El grfico corresponde a:

S P x
S x S P

Qu grfico corresponde a Todo S es P?

P S P

b) d)

S x

a) b) c) d) e) 14. a) b) c) d) e) 15. a) b) c) d) e) 16. a) b) c) d) e) 17.

S

Todo no S es P. Ningn S es P. Algn no S es no P. Algn S es P. Algn no S es P. Todo ladrn es deshonesto. Luego: Ningn ladrn es honesto. Algn ladrn es honesto. Todo honesto es ladrn. Ningn ladrn es deshonesto. Algn no ladrn es deshonesto. Si no es verdad que ciertos reptiles sean vivparos, entonces: Todo vivparo es reptil. Ningn reptil es vivparo. Algn reptil es vivparo. Algn vivparo es reptil. Algn no reptil es no vivparo. Equivalen al cuantificador "Algn(os)": Cualquier, cada. Ciertos, muchos. No hay, no existe. El 100%, varios. Los, la totalidad. Seale la frmula de:
P x

a)

SP =

b)

SP

c) SP

d) PS = 18.

e)

PS

Ubique la frmula de:

S P

a) S = b) P = c) PS = d) SP 19. e) SP =

Qu frmula pertenece a:
U A B

a) AB = d) AB 20.

b)

AB

c) A B =

e) AB =

Ubique la frmula de:

S x P

a) P = b) S c) S d) P = e) P 21. a) b) c) d) e) Realiz una interpretacin algebrica de la Lgica de predicados: Leibnitz. Aristteles. Frege. Boole. Venn.

22. Las ........... son aserciones acerca de clases que afirman o niegan si una clase est incluida o excluida en otra, sea total o parcialmente. a) Inferencias inmediatas. b) Proposiciones. c) Inferencias mediatas. d) Proposiciones categricas. e) Afirmaciones categricas. 23. a) b) c) d) e) 24. a) b) No es una caracterstica de las proposiciones categricas: Posee un cuantificador. Posee sujeto y predicado. Posee un verbo copulativo. Determinan la validez de las inferencias. b y c. La proposicin: "Todos los hombres son mortales". Inclusin parcial. Exclusin total.

c) d) e)

Inclusin total. Exclusin parcial. Proposicin Universal Vlida.

25. Cul de las siguientes alternativas expresa que al menos un elemento de la clase S no pertenece a la clase P?
x

x
P

a) S c) S
x

b) S d) S
x

e) S

26. Si en un grfico tuviramos dos clases (La clase S=Hombres y la clase P=Mujeres). Cmo representaramos la clase de los que no son hombres ni mujeres? a) S P d) S P 27. I. II. III. IV. A. B. C. D. a) b) c) d) e) 28. calidad a) b) c) d) e) 29. b) S P c) S P e) S Relacione: Todos los S son P. Algunos S no son P. Ningn S es P. Algunos S son P. Indica Indica Indica Indica que que que que en en en en la la la la interseccin de S y P hay elementos por lo menos uno. interseccin de S y P no hay elementos. interseccin de S que no es P no hay elementos. clase de S que no es P hay elementos por lo menos uno.

IIIA , IIB , IC , IVD. IC , IIIB , IID , IVA. IIIA , IVB , IIC , ID. IVD , IIC , IIIB , IA. IIIB , IC , IVD , IIA. Las proposiciones categricas de forma tpica ............. y por su cantidad .............. claras, sencillas - extensas, abstractas. positivas, universales - negativas, particulares. negativas, particulares - afirmativas, universales. afirmativas, negativas - particulares, universales. particulares, universales - afirmativas, negativas. El Diagrama respectivo se entiende como:
S P

son

por

su

a) b)

Algunos S no son P. Ningn S no es P.

c) d) e) 30. a) b) c) d) e) 31. a) b) c) d) e)

Ningn P no es S. Ningn S es P. Algunos no S no son P. Seale lo incorrecto: A: SP ; Universal afirmativa. I : SP O ; Particular afirmativa. E : SP = O ; Particular afirmativa. O : SP O ; Particular negativa. E : SP = O; Universal negativa. La expresin: "Ningn peruano es chileno", es definida como: Proposicin universal negativa. Tipo E y frmula SP = O. Tipo O y frmula . SP O Tipo E y frmula SP O a y b.

32. Es una proposicin universal afirmativa, en la cual el trmino sujeto est distribuido en el trmino predicado, pero el trmino predicado, no est distribuido en el trmino sujeto: a) Una proposicin de tipo A. b) Algunas limeas son rubias. c) Todos los ateos son no creyentes. d) Todos los hombres son fieles. e) a y d. 33. La siguiente proposicin: "Algunos filsofos no son cuerdos". a) No se refiere a todos los filsofos, sino solamente a aquellos que son cuerdos. b) Se refiere a la clase filsofos que no son cuerdos sino locos. c) No afirma que todos los filsofos son locos. d) Afirma que todos los filsofos no son cuerdos. e) No afirma que todos los filsofos son cuerdos, ni menos que todos los cuerdos son filsofos. 34. Las proposiciones categricas de forma tpica comienzan sus enunciados con los .................. "todos", "ningn", "algunos", los cuales nos indican la ............... de las proposiciones. a) trminos - jerarqua. b) universales - cantidad. c) cuantificadores - cantidad. d) cuantificadores - calidad. e) trminos - extensin. 35. Seale Ud. la proposicin que refiere a todos los miembros de la clase designada por su trmino sujeto y, por consiguiente, lo distribuye: a) Todos los hombres son mortales. b) Ningn psiclogo es desorganizado. c) Algunos filsofos no son locos. d) No todo filsofo no es loco.

e) 36.

Algunos matemticos son lgicos. El diagrama respectivo se entiende como:

S P

a) b) c) d) e) 37. a) b) c) d) e) 38.

La clase de S que no es P no posee elementos, es vaco. La clase P que no es de S no hay elementos, es vaco. Lo que no es de P es igual a . a y b. a y c. Seale la proposicin contraria de la siguiente afirmacin : "Todos los abogados son profesionales". Algunos abogados son profesionales. Ningn profesional es no abogado. Ningn abogado es profesional. Es falso que ningn abogado sea profesional. Algunos no profesionales no son abogados. Identifique el diagrama correcto de la expresin: "Todo artista es meticuloso".
M

a) A

b) A
x

c) A
x A

d) A

e) 39. a) b) c) d) e) 40. a) b) c) d) e) 41.

La oracin: "Algunos agricultores son financistas". Es subcontraria de : Algunos agricultores son no financistas. Algunos agricultores son financistas. Algunos agricultores no son financistas. Ciertos agricultores son financistas. Algunos agricultores no son financistas. En cuanto a las proposiciones categricas. Seale lo no correcto: Son aserciones acerca de clases. Afirman o niegan inclusin o exclusin de clases. Un cuantificador seala cantidad definida o indefinida. El todo S es P hay exclusin total. Los tipos son A - E - I - O, respectivamente. En la proposicin: "Cualquier ciudadano es mayor de edad". Lo incorrecto es:

a) b) c) d) e) 42.

Forma tpica "Todo S es P". Hay afirmacin de S y negacin de P. Tipo A y frmula . Hay inclusin total. El rea diagramada es "S". Determine la frmula que representa a la proposicin: "Algunos no - orgullosos no son incultos". b) ~ (SP O) d) ~ (SP = O)

a) SP O c) SP 0 e) SP O 43. I. II. III. IV. a) b) c) d) e) 44.

Dada la proposicin: "Todos los famosos son adinerados". El trmino "S" denota universo. Su frmula categrica es SP = O. El cuantificador es indefinido. Pertenece al tipo "A". Todas son ciertas. II y III son falsas. I y IV son falsas. I y II son ciertas. Slo IV es verdadera. La expresin: "Existe por lo menos un peruano que no haya viajado a Cuba". Es definida como: Proposicin particular negativa. Tipo "I" y frmula Su frmula es Tipo "O" y frmula Proposicin universal particular. La proposicin SAP se diferencia con la proposicin SEP en el sentido Tienen la misma cantidad, pero distinta cualidad. Se diferencian por la cantidad. Se diferencian tanto en cantidad como en cualidad. Tienen distinta cantidad, pero igual cualidad. Tienen la misma cantidad y cualidad. Los tipos proposicionales "A" e "I" determinan; respectivamente: Relacin de inclusin total. Relacin de exclusin parcial. Relacin de inclusin y exclusin. Relacin de inclusin total y parcial. Relacin de exclusin total y parcial. Es falso que los pudientes no sean humildes, se diagrama como:

a) b) c) d) e) 45. que: a) b) c) d) e) 46. a) b) c) d) e) 47.

a) S
x

P U

b) S

P U

c) S
x x

P U P

d) S

e) S 48. a) b) c) d) e)

Seale lo incorrecto: A : SP = O : Universal afirmativa. E : SP O : Universal negativa. I : SP = O : Particular afirmativa. O : SP = O : Particular negativa. Toda son correctas.

49. "Casi la mayora de los que se prepararon en TRILCE han ingresado a San Marcos". La relacin correcta es: a) SP O ; Tipo I b) SP O ; Tipo O. c) SP = O ; Tipo A. d) SP = O ; Tipo E. e) SP O ; Tipo I.