LGICA DE CLASES NOCIN DE CLASE: Cantidad de cosas finitas o infinitas (elementos) tomados en su integridad y discriminados de acuerdo con determinados

signos (atributos, cualidades, caractersticas, rasgos) comunes. Reunin, conjunto de objetos que tienen una caracterstica comn. Estas caractersticas pueden ser: (1) (2) (3) (4) (5) (6) Homogneos: Los estudiantes de NUEVA GENERACION Heterogneos: tiles de escritorio Esencial: Animales capaz de trabajo y habla. No esencial: Alumnos del 1,70 m de talla Material: Pizarra, silla, mesa Ideal: Ciencias Sociales, ideologa religiosa, ideas bellas.

En la literatura lgica se ha debatido con frecuencia qu relacin hay entre la clase y la propiedad. Al respecto observaremos que a toda clase corresponde, por lo menos, una propiedad y que a toda propiedad corresponde una clase. Decimos por lo menos, porque, por ejemplo, a la propiedad de ser humano corresponde la clase de los hombres, pero a la clase de los hombres corresponden otras propiedades adems de la de ser humano, como la propiedad de ser un animal racional. La propiedad puede ser considerada como la comprensin de la clase; la clase puede ser considerada como la extensin de la propiedad. Simblicamente una clase se formula mediante la expresin Fx que nos indicara, la clase de todos los x que tienen la propiedad F. Es usual representar una clase mediante letras: A, B, C, D, etc. TIPOS DE CLASE: 1. Clase Universal: Es la clase a la cual pertenecen todos los elementos de un determinado universo. Dicho universo est determinado por el universo del discurso. Clase unitaria o unimembre: Es aquella que presenta un slo elemento o miembro. Se simboliza: a, b, c, d, e 3. Clase nula o vaca: Es la que no presenta elementos.
1 = universo

2. .

Prof. Franco Alva Alba

David

Simboliza: a=0

OPERACIONES DE CLASE: 1. Clase suma, unin o disyuncin: La unin o suma de dos clases a y b es la clase formada por todos los miembros que pertenecen a a o a b o a ambas clases. El smbolo de unin es "U", entonces A unin B se expresa por: AUB Su definicin formal
x a x b

a + b =

(xa x b)

2.

Clase complemento: Est conformada por todos los elementos que no pertenecen a una clase determinada o es lo que le falta a una clase para ser el universo.

Simboliza: - a, - b, - c,. . .

a
= ( x/x a )

3.

Clase producto, interseccin o conjuncin: Est conformada por los elementos comunes de las clases que se relacionan. Dadas las clases: a b Se diagrama: a x b = (x a x b) a
x

4.

Diferencias de Clases: Se llama diferencia entre dos clases a y b a la clase formada por todos los miembros que son de a y no pertenecen a b; la diferencia formalmente se expresa: a - b Se diagrama:
x a b

a b = (x/ x a x b)

RELACIONES ENTRE CLASE 1. Igualdad de Clases: Se dice que una clase a es igual a una clase b, cuando todos los miembros de a son miembros de b y cuando todos los miembros de b tambin son miembros de a. El smbolo de igualdad entre clases es " = ", y la igualdad de a y b se expresa por: Se diagrama:
b a=b a

a = b = {x/x e a = x e b}

Prof. Franco Alva Alba

David

2.

Clase inclusin: Se dice que una clase a est incluida en una clase b, cuando todos los miembros de a son miembros de b. Tambin se dice que a es subclase propia de B. El smbolo de inclusin de clases es " ", y la inclusin de A en B se expresa por: A B Se simboliza: < o = est incluido en
b

a < b = (x a x b)

3.

Exclusin De Clases: Se dice que una clase a est excluida de una clase b, cuando ningn miembro de a es miembro de b. El smbolo de la exclusin de clase es "", y la exclusin de a y b se expresa por: a b Llamaremos exclusin de clases cuando y viceversa.

a b = ( x a x b)

RELACIN CLASIAL DE LAS PROPOSICIONES CATEGRICAS: A - E - I - O Relacin de A

a b = 0 S P= 0

Relacin de I
a b 0 S P 0

P S Todos S es P

Relacin de E:
a b = 0 S P = 0

Relacin O
x P S Ningn S es P
a b 0 S P 0

P S Algn S no es P

Cuadro resumen de las operaciones con clases: Unin o Suma Interseccin Diferencia AUB= x(x A v x B) AB = x(x A x B) A-B = x(x A x B) A+B AxB

A
x A

B
B

x A-B A B RESUMEN DE PROPOSICIONES CATEGORICAS

Prof. Franco Alva Alba

David

Prop. Forma Categrica Tpica UNIVERSAL AFIRMATIVA UNIVERSAL NEGATIVO PARTICULAR AFIRMATIVA PARTICULAR NEGATIVA S a P

Traduccin

Formula Clasial S-P=0

Formula Boolena

Diagramacin S P

Todo S es P

S P =

S e P Ningn S es P S P = 0

S P =

S S i P Algn S es P S P 0 S P S x x

S o P Algn S no es P S - P 0 S P

FORMALIZACION
BLOQUE I Escriba en forma booleana, las siguientes formas tradicionales 1. 2. 3. 4. 5. 6. 7. 8. S a P ___________ S e P ___________ S i P ___________ P o R ___________ T e L ___________ M a L ___________ L i H ___________ K o L ___________ 3.

Forma Tradicional: __________________________ Forma Booleana: Diagrama: T _________________________ M

Ningn no Fsico es no Estadista Forma moderna:____________________________ Forma Tradicional: __________________________ Forma Booleana: Diagrama: _________________________ F E

BLOQUE II Haga el diagrama para cada proposicin categrica 1. Es incierto que Nadie que sea Artista es Simptico Forma moderna:____________________________ Forma Tradicional: __________________________ Forma Booleana: Diagrama: A S _________________________

4.

Es objetable que Determinadas Algas sea Marinas Forma moderna:____________________________ Forma Tradicional: __________________________ Forma Booleana: Diagrama: _________________________ A M

BLOQUE III Halle el equivalente de cada diagrama

2.

Casi ninguna no Traviesa no es no Mentirosa Forma moderna:____________________________

S X X
4

P X

Prof. Franco Alva Alba

David

a) S X X S X X S P S P X P S P 6. X P S P b)

E x A x

E b) A d)

e) N.A. La proposicin: Es inaceptable que casi ningn no corredor sea no atleta, tiene como diagrama: C A C A A) B) x x O x E) A C A A C

C)

D)

BLOQUE IV FORMALIZACIN CLASIAL 1. De modo absoluto, ni siquiera un no fanfarrn no es un no charlatn, se simboliza equivalentemente: a) F C 0 b) C F =0 c) (CF=0) N.a. 2. d) C F 0 e)

7.

La proposicin: Es falsamente incorrecto que determinadas no aves sean no carnvoras, tiene como diagrama: C A C A A) B) x x O x A e) C A A x C

C)

D)

La proposicin: En modo alguno, de cada uno de los lingistas nadie es estructuralistas, equivale a: a) - (L E = 0) b) L E = 0 c) L E 0 d) L E = 0 N.a. Determinados no delincuentes no son honrados , se representa: a) D A 0 c) D H 0 b) D H 0 d) D A 0 e) N.a. e) 8. jams

3.

La proposicin: No ocurre jams que, por lo menos un canciller sea patriota, tiene como diagrama: P C C P A) B) x P D) C

4.

Ms de dos antirracistas no son fascistas jams, se representa: a) R F 0 b) R F 0 c) R F 0 d) - (R F 0) e) N.a. 9.

C)

P E)

C LECTURAS CLASIALES

DIAGRAMACIN CLASIAL 5. La proposicin: Es falsamente incorrecto que determinados no accionistas no sean no empresarios, tiene como diagrama.
5

El diagrama: S P Donde: S: cuentista P: imaginativo Puede leerse equivalentemente:

Prof. Franco Alva Alba

David

a) b) c) d) e) 10.

Al menos un imaginativo no es cuentista cada cuentista es imaginativo. Ningn imaginativo no es cuentista. Es imposible que la mayora de cuentistas no sean imaginativos. Pocos cuentistas son no imaginativos.

15.

El diagrama:

El diagrama siguiente: B F B= Brasileos F= Futbolistas Puede leerse como: A) No todos los brasileos son futbolistas. B) No existen brasileos que no sean futbolistas. C) Todos los no futbolistas son brasileos. D) Ningn futbolista es brasileo. E) Cada futbolista no es brasileo. A T x A= rbol T = Auttrofos Equivale a: 1. No se da que ningn no rbol sea auttrofos. 2. Varios rboles no son no auttrofos 3. Muchos no rboles son auttrofos. 4. No todo no rbol es no auttrofo. 5. No hay rboles que no sean no auttrofos. Son ciertas: A) 1, 2 y 4 B) 2, 3 y 5 C) 1, 3 y 4 D) 1, 3, 5 E) 2, 3, 4 COMPLEMENTO CLASIAL El diagrama de Venn:

Representa al complemento de: A) Algunos mdicos son administradores. B) Algunos no mdicos no son administradores. C) No hay mdicos que sean administradores. D) Todos los mdicos son administradores. E) Todos los no mdicos son administradores. 16. El diagrama clasial: B X X X M

12.

Su COMPLEMENTO equivale a: 1) Algunos beisbolistas son millonarios 2) Todo beisbolista no es millonario 3) Ciertos no beisbolistas jams son millonarios 4) Todo no millonario es beisbolista 5) Falso es que todo no millonario es beisbolista Son ciertas: A) 1, 4 y 5 B) 1, 2 y 3 C) 1, 3 y 5 D) Slo 3 y 5 E) Slo 4 EQUIVALENTES CLASIALES 17. El Diagrama adjunto: P x Equivale, formalmente, a: 1) P M 0 2) M P 0 3) (M P = 0) 4) P M 0 5) P M 0 Son ciertas, obviamente: A) 1, 2 y 3 B) 2, 3 y 5 C) 1, 3 y 5 D) 1, 2 y 4 18. El diagrama A B M

13.

El diagrama: A

Representa al complemento de: A) Algunos peces no son homeotermos. B) Algunos peces son homeotermos. C) Todos los peces no son homeotermos. D) Todos los peces son homeotermos. E) Todos los no peces son homeotermos. 14. El diagrama: A x x x Representa al complemento de: A) Algunos no deportistas no son artesanos. B) Algunos deportistas son artesanos. C) No todos los deportistas son artesanos. D) No hay no deportistas que no sean artesanos. E) Todos los no deportistas no son artesanos. B

E) Slo 1 y 2

Est representado en su relacin de clases por: a) AB = b) AB= c) -(AB=) 19. d) A B e) AB=

La proposicin: Todas las flores no son alucingenas. Siendo s= flores y p= alucingenas. Tiene como frmulas equivalentes a:

Prof. Franco Alva Alba

David

1. ~( S P = ) 3. S P = 5. ~( S P ) Son ciertas: A) 2 y 5 C) 3 y 5 20. La

2. P S = 4. ~( S P ) 25. B) 3 y 4 D) 1 y 5 frmula E) 1 y 2 booleana:

d) Tollendo - Ponens e) silogismo disyuntivo En el grfico: A x Se lee: 1) B . A = 3) A B = Son ciertas: A) 1 y 4 D) 1, 3 y 4 C B

siguiente

(S P ) representa al diagrama: S P A) B)

2) (A + B) = 4) (A B) . A B) 2, 3 y 4 E) Todas

5) A C) 2 y 5

x V C) 21. M D) S P

PREGUNTAS DE EXAMEN DE ADMISION x ORDINARIO 2007II UNT (Ciencias) 1. El grfico: S

P

La proposicin: Cualquier animal es mamfero salvo que no sea no vivparo , tiene como diagrama: M A) V C) E) N.A M D) V B) M V V M

x Representa: 1. Es falso que ningn no peruano es no patriota. 2. Es falso que algunos no polticos son no congresistas. 3. Algunos no investigadores no son cientficos. 4. Ningn no catedrtico es no investigador. 5. Es falso que todo no polica no es universitario. Son ciertas: A) 1, 2 y 3 B) 2, 3 y 4 C) 1, 3 D) 2 y 3 E) 4 y 5 ORDINARIO 2007II UNT (Letras) 2. La proposicin: Es falso que existan pocos ciudadanos que sean honestos, se simboliza como: 1. (CH ) 2. (CH = ) 3. CH = 4. CH Son ciertas: A) 1 y 2 B) 1 y 3 C) 1 y 4 D) 2 y 3 E) 3 y 4 ORDINARIO 2007II UNT (Letras) 3. Dado el diagrama: A

22.

Si tenemos las clases: Pares e Impares y decimos: Ningn nmero par es impar se ha realizado: a) Inclusin b) Exclusin c) Interseccin d) Unin de clases e) Complementacin

23.

Dada la frmula clasial: [(a + b) a] + (b . -b); sabiendo que: a = matemticos, b = lgicos; la clase resultante es: a) profesionales b) lgicos matemticos c) no lgicos d) matemticos e) lgicos 24. El siguiente diagrama:
B A x

Podramos usarlo para demostrar la validez de la regla de inferencia: a) Ponendo - Ponens b) Tollendo - Tollens c) Ponendo - Tollens
7

Donde: A =abeja; H = himenptero Se lee como: 1. Nadie que sea abeja es himenptero. 2. Es falso que existen avejas que son himenpteros 3. Todo aquello que es abeja de ninguna manera es himenptero.

Prof. Franco Alva Alba

David

4.

Es incierto que hayan abejas que no son himenpteros. 5. Cada una de las abejas son himenptero. Son ciertas: A) 1, 2 y 3 B) 1, 3 y 4 C) 1, 3 y 5 D) 2, 3 y 4 E) 2, 3 y 5 ORDINARIO 2007I UNT (Ciencias) 4. Dado el diagrama:
A V x

CEPUNT II III SUMATIVO 2005 7. El grfico siguiente: S x Corresponde a las proposiciones: 1. Ciertos alumnos no son estudiosos 2. Todos los vegetales son seres vivos 3. Ningn felino es auqunido. 4. Algunos vehculos no son autos. 5. Existen nios que no son autos. Son ciertas: A) 1, 4 y 5 B) 2, 3 y 4 C) 1, 2 y 3 D) 4 y 5 E) Slo 3 CEPUNT II III SUMATIVO 2005 8. El diagrama: R I P

Tiene como proposiciones equivalentes a: 1. No pocas araas no son venenosas. 2. No todas las no araas son venenosas. 3. Es falso que todos los no venenosos son araas. 4. Definitivamente varias no araas no son venenosas. 5. Es mentira que ninguna araa sea venenosa. Son ciertas: A) 1, 2 y 5 B) 2, 3 y 4 C) 2, 3 y 5 D) 3, 4 y 5 E) 1, 2 y 3 ORDINARIO 2007I UNT (Ciencias) 5. El diagrama de venn:
D x K

Tiene como proposiciones equivalentes a: 1. Muchos deportistas no son karatecas. 2. Varios karatecas son deportistas. 3. No todos los deportistas no son karatecas. 4. Quienquiera que sea karateca no es deportista. 5. No se da que ningn karateca es deportista. Son ciertas: A) 1, 2 y 5 B) 2, 3 y 5 C) 3, 4 y 5 D) 2, 3 y 4 E) 1, 2 y 3 ORDINARIO 2006II UNT (Ciencias) 6. El diagrama de venn: U T M

Se lee: 1. Cada uno de los racionalistas son idealistas. 2. Es falso que hayan no racionalistas que son idealistas. 3. Nadie que sea no racionalista es idealista. 4. Cualquier no racionalista es no idealista. 5. Quienquiera que es no racionalista es idealista. Son ciertas: A) 1, 2 y 3 B) 2, 3 y 4 C) 3, 4 y 5 D) 1, 3 y 5 E) Slo 1 y 5

Es equivalente a: A) Todos son msicos excepto que sean trompetistas. B) No hay no msicos que no sean trompetistas. C) Ni siquiera no trompetistas no es no msico. D) No todos los msicos son trompetistas. E) Es falso que, ciertos msicos sean trompetistas.

Prof. Franco Alva Alba

David

Prof. Franco Alva Alba

David