Departamento de Matemticas

Objetivo:
Representar de manera grfica la relacin existente
entre varios conjuntos y las caractersticas de sus
elementos haciendo uso de la teora lgica.
Diagramas lgicos: Es la representacin grfica
(zonas cerradas) de un enunciado, que puede
contener cuantificadores, en la que se respeta la
naturaleza de stos.
Ejemplo: Algunos cantantes son colombianos.
Todos los colombianos son alegres. Por tanto.
Solucin:
Tenemos tres conjuntos. Los colombianos, los
cantantes y los alegres.
Analizando la primera premisa tenemos que una
parte del conjunto de los colombianos pertenece
al conjunto de los cantantes as:

En la segunda premisa tenemos que el conjunto

de los colombianos est incluido totalmente en el
conjunto de los alegres, as:

Analizando cada zona numerada tenemos.

Zona 1: Alegres que no son colombianos y no son
cantantes.
Zona 2: Alegres que no son colombianos y son
cantantes.
Zona 3: Cantantes que no son alegres.
Zona 4: Colombianos que no son cantantes.
Zona 5: Cantantes que son colombianos.
Ahora veamos cuando el enunciado viene por
categoras, es decir, cuando se separan especies,
conjuntos, grupos, por comas o por rengln en
forma categrica. Lo primero que se debe hacer
es resolver el problema de cultura general, es
decir, saber si en realidad estos conjuntos, grupos,
especies estn relacionados o no y a qu nivel.
Cuando se tenga claro esto, se construye el
diagrama lgico respetando estas relaciones si
las hay.
Es importante tener claro que cuando se habla
de "algunos" podra referirse a todos.

Gimnastas, mecnicos, empresarios.

Solucin:
En un grupo de gimnastas, mecnicos y empresarios
es posible tener individuos gimnastas, mecnicos y
empresarios como tambin personas que slo
cumplen dos de estos tres roles y personas que slo
cumplen un rol.
Vemoslo en un diagrama lgico.

Ahora, incluyendo ambas partes:

A - RL0010 - 06

17

Anlisis de zona

As por ejemplo:

Zona 1: Personas que son gimnastas, mecnicos

y empresarios.
Zona 2: Personas que son gimnastas y
mecnicos pero no empresarios.
Zona 3: Personas que son mecnicos y
empresarios pero no gimnastas.
Zona 4: Personas que son gimnastas y
empresarios pero no mecnicos.

Mediante un diagrama se puede visualizar lo

afirmado.

Zona 5: Personas que slo son gimnastas.

Zona 6: Personas que slo son mecnicos.
Zona 7: Personas que slo son empresarios.
Silogismo
Es un tipo de inferencia mediata.

Silogismo categrico:
Hay tres trminos, uno de ellos se repite en las
premisas y no aparece en la conclusin. Si
reemplazamos cada uno de los trminos por las
letras M (para el trmino que se repite en las
premisas), S (para el sujeto de conclusin), y
P (para el predicado de la conclusin), es posible
obtener la forma lgica del razonamiento.
Forma tpica del silogismo categrico
La conclusin contiene dos de los tres trminos
del silogismo:
su P es el trmino mayor del silogismo
su S es el trmino menor del silogismo
El trmino mayor y el trmino menor aparecen en
premisas diferentes.
Trmino medio: es el tercer trmino, que aparece
en ambas premisas, pero no en la conclusin.

18

A - RL0010 - 06

A partir de lo cual la conclusin se desprende de

las premisas con necesidad lgica, sin tener en
cuenta el contenido.
En estos ejemplos de interpretacin se puede
observar que ambos razonamientos tienen en
comn la estructura lgica, pero difieren en cuanto
al valor de verdad de las premisas: en (1) son
verdaderas y en (2) son falsas, en (1) y (2) la
conclusin es verdadera, y sin embargo de ambos
se puede decir que son vlidos. Con esto se quiere
significar que la validez es independiente del
contenido, y la lgica dispone de mtodos
deductivos propios a partir de los cuales determina
la validez o invalidez de los razonamientos segn
la forma de los silogismos.
Patrones del Silogismo:
Todo S es P
Ningn S es P
Algn S es P
Algn S no es P
De todos los patrones posibles para la
construccin de los silogismos, Aristteles
encontr vlidos slo 16 de ellos, y al dejar en la
lista entre cada dos equivalentes, a slo uno de
ellos, dijo que eran:

Para ilustrar el mtodo, consideremos el

ejemplo:
Todos los hombres son mortales
Scrates es un hombre
Scrates es mortal
Esto es:
Todos los M son P
Todos los S son M
Todos los S son P

Dos de los silogismos considerados por

Aristteles en realidad no son vlidos.

La premisa mayor, Todos los M son P, dice que

las regiones 3 y 5 estn vacas (todos los
objetos de M estn en P, lo que equivale a decir
que se hallan en las regiones marcadas con 2
y 4).

Estos son:
Todo M es P

Ningn M es P

Todo M es S

Todo M es S

Algn S es P

Algn S no es P

Euler invent un modo elegante de comprobar

la validez de los silogismos mediante ideas
geomtricas: se conoce con el nombre de
mtodo de los crculos de Euler.
La idea consiste en representar el silogismo
mediante tres crculos que se solapan.

La premisa menor, Todos los S son M, establece

que las reglas 1 y 7 estn vacas. As pues, el
efecto combinado de las dos premisas indica que
las regiones 1, 3, 5, y 7 se hallan vacas.
El objetivo ahora es construir una proposicin
que haga intervenir a S y a P y que sea
consistente con esta informacin referente a las
diversas regiones. Las regiones 3 y 7 estn
vacas, de modo que cualquier cosa en S debe
hallarse en la regin 1 o en la 4, y por lo tanto
en P. En otras palabras, todo S es P.

A - RL0010 - 06

19

En los ejercicios del 1 al 10, escoja el diagrama

que mejor representa las premisas dadas.
1. Algunos tringulos son tringulos equilteros
A.

3. Ningn estafador es confiable

A.

B.

C.

D.

B.

C.

D.
4. Todos los hombres son bpedos y vivparos

2. Todo rombo es paralelogramo

A.

A.

B.

C.

D.

B.

5. Algunas teoras polticas son fundamentalmente

lgicas

C.

20

A.

B.

C.

D.

D.

A - RL0010 - 06

6. Todos los trapecios no son volmenes

A.

B.

C.

D.

7. Ningn cuadrado no es rectngulo

A.

B.

9. No todos los tringulos issceles no son

equilteros
A.

B.

C.

D.

10. No es cierto que, todo cuadriltero es

rectngulo o rombo
A.

C.

D.

B.

8. No todos los perros son perros agresivos

A.

B.
C.

C.

D.
D.

A - RL0010 - 06

21

En los ejercicios del 11 al 13, escoja el

diagrama que mejor representa los conjuntos
dados.

En los ejercicios del 14 al 16, escoja el

diagrama que mejor representa los conjuntos
dados.

A.

A.

B.

B.

C.

C.

D.

D.

E.

E.

11. Turpiales, aves, caballos

A.
B.
C.
D.

A.
B.
C.
D.

A
C
B
D

12. Suramericanos, humanos, cientficos

A.
B.
C.
D.

22

A - RL0010 - 06

E
B
C
D

16. Antioqueos, colombianos, europeos

A.
B.
C.
D.

E
C
A
B

A
B
C
E

15. Soldados, militares, maestros

A.
B.
C.
D.

B
A
D
E

13. Artistas, escultores, herreros

A.
B.
C.
D.

14. Rombos, pentgonos, rectngulos

E
B
C
D

En los ejercicios del 17 al 19, escoja el

diagrama que mejor representa los conjuntos
dados.

En los ejercicios del 20 al 23, escoja el

diagrama que mejor representa los conjuntos
dados.
A.

A.

B.

B.

C.

D.

E.

C.

D.
20. Perros, mamferos, vertebrados
A.
B.
C.
D.

E.

C
B
A
D

21. Felinos, reptiles, animales peligrosos

17. Nadadores, colombianos, americanos
A.
B.
C.
D.

A
E
D
B

18. Deportistas, coleccionistas, toreros

A.
B.
C.
D.

A
B
C
D

19. Pentgonos, cuadrados, poligonos regulares

A.
B.
C.
D.

B
C
D
A

A.
B.
C.
D.

D
C
B
A

22. cidos, lquidos, slidos

A.
B.
C.
D.

D
C
B
A

23. Ciclistas, futbolistas, deportistas

A.
B.
C.
D.

B
E
C
D

A - RL0010 - 06

23

En los ejercicios del 24 al 30, escoja el

diagrama que mejor representa los conjuntos
dados.
A.

26. Nmeros naturales, nmeros pares, nmeros

irracionales.
A.
B.
C.
D.

A
B
E
D

27. Profesionales, abogados, ingenieros

A.
B.
C.
D.

B.

B
A
E
D

28. Elipse, circunferencia, cnicas

A.
B.
C.
D.

C.

A
B
E
D

29. Nmeros complejos, nmeros naturales,

nmeros primos
D.

A.
B.
C.
D.

C
E
A
B

30. Rosales, plantas, peces

E.

A.
B.
C.
D.

A
B
C
E

24. Cuadrados, rombos, rectngulos

A.
B.
C.
D.

En los ejercicios del 31 al 51, halle con ayuda

de diagramas la conclusin que puede
sacarse de las premisas dadas.

A
B
C
D

31. Todo nmero mltiplo de dos es par. Por tanto

25. Mitos, relatos escritos, geometras

A.
B.
C.
D.
24

E
B
C
D

A - RL0010 - 06

A. todo nmero par es mltiplo de dos

B. algunos nmeros que no son mltiplos de dos
son impares
C. si un nmero es mltiplo de dos entonces
es par
D. algunos nmeros pares no son mltiplos
de dos

32. Ningn pas no desarrollado es un pas no

acucola. Por tanto
A.
B.
C.
D.

todo pas no desarrollado es pas acucola

todo pas no desarrollado es pas no acucola
todo pas desarrollado es pas no acucola
todo pas desarrollado es pas acucola

33. Todos los socialistas son pacifistas. Por tanto

A.
B.
C.
D.

algunos no pacifistas no son no socialistas

ningn no socialista es no pacifista
todos los no pacifistas son no socialistas
algn socialista es no pacifista

34. Algunos santos fueron mrtires. Por tanto

A.
B.
C.
D.

todos los santos fueron mrtires

todos los no mrtires fueron no santos
no es cierto que ningn mrtir es santo
algunos mrtires no fueron santos

35. Algunos comerciantes no son piratas. Por

tanto
A. todos los no piratas son no comerciantes
B. no es cierto que algunos no piratas no son
comerciantes
C. algunos no piratas son comerciantes
D. ningn no pirata es comerciante
36. Ningn espa es periodista. Usted es
periodista. La deduccin es
A.
B.
C.
D.

usted es espa
usted no es espa
los espas son periodistas
algunos periodistas son espas

37. Todo trapecio es cuadriltero. Algn polgono

no es cuadriltero. Por tanto
A.
B.
C.
D.

algn polgono es cuadriltero

algn polgono no es trapecio
ningn trapecio es polgono
todo trapecio no es polgono

38. Alguna relacin no es funcin. Toda relacin

es una correspondencia. Por tanto
A.
B.
C.
D.

toda correspondencia no es funcin

ninguna correspondencia es funcin
no toda funcin no es correspondencia
alguna correspondencia no es funcin

39. Algunos hombres son baladistas. Todos los

baladistas son cantantes. Por tanto
A.
B.
C.
D.

todos los cantantes son baladistas

algunos hombres son cantantes
algunos baladistas son hombres
todas las mujeres son cantantes

40. Todos los vertebrados con branquias no tienen

pulmones. Algunos vertebrados con branquias
son anfibios. Por tanto
A.
B.
C.
D.

algunos anfibios no tienen pulmones

ningn anfibio tiene pulmones
ningn anfibio no tiene pulmones
no es cierto que algunos anfibios son
vertebrados o no tienen pulmones

41. Algunas mujeres son cantantes. Todos los

baladistas son cantantes. Ana no es cantante.
Por tanto
A.
B.
C.
D.

Ana no es mujer
Ana no es baladista
Ana es cantante
Ana no es cantante

42. Todo tringulo equingulo es tringulo

equiltero. No todo tringulo es tringulo
equiltero. Por tanto
A.
B.
C.
D.

no todo tringulo es tringulo equingulo

todo tringulo no es tringulo equingulo
algn tringulo equingulo no es tringulo
es falso que, algn tringulo no es tringulo
equingulo

43. Todos los amigos de Pedro son chicos que

juegan baloncesto. Todos los chicos que
juegan baloncesto son altos. La deduccin es
A.
B.
C.
D.

algunos amigos de Pedro son altos

ningn jugador de baloncesto es alto
todos los amigos de Pedro son altos
ningn amigo de Pedro es alto

A - RL0010 - 06

25

44. Segn el siguiente diagrama de Venn, el

argumento vlido que lo representa es

48. Los pastores son perros. Los perros son

mamferos. Ningn mamfero pone huevos.
Por tanto
A.
B.
C.
D.

A. todos los estudiantes son inteligentes. Algunos

perezosos son mujeres. Por tanto, algunos
estudiantes y varones son perezosos
B. algunos varones son perezosos. Algunos
estudiantes son varones. Por tanto, todos los
estudiantes son perezosos
C. ningn perezoso es estudiante. Algunos
estudiantes son varones. Por tanto, todos los
varones son perezosos
D. todos los varones son perezosos. Algunos
estudiantes son varones. Por tanto, al menos
un estudiante es perezoso
45. Ningn estudiante es perezoso. Juan es un
artista. Todos los artistas son perezosos. La
deduccin es
A.
B.
C.
D.

algunos estudiantes son perezosos

Juan no es estudiante
algunos estudiantes no son perezosos
Juan es estudiante

46. Todos los mdicos son deportistas. Los

coleccionistas de estampillas son personas
tmidas. Beatriz es mdica. Ninguna persona
tmida es deportista. La deduccin es
A. algunas personas tmidas son deportistas
B. todos los coleccionistas de estampillas son
deportistas, como Beatriz
C. Beatriz no colecciona estampillas
D. algunos mdicos coleccionan estampillas
47. Todos los abogados son ricos. Los poetas son
caprichosos. Marcos es abogado. Ningn
caprichoso es rico. La deduccin es
A.
B.
C.
D.

26

algunos abogados son poetas

algunos caprichosos son ricos
Marcos no es poeta
todos los ricos son abogados, menos Marcos

A - RL0010 - 06

algunos pastores son mamferos

los pastores son ovparos
algunos mamferos no ponen huevos
todos los pastores no ponen huevos

49. A partir de la siguiente representacin no

podemos afirmar que

A. ningn F es B
B. algunos A no son E
C. todos los D son F
D. algunos A son B
50. Algunos profesores venden ropa. Todos los
matemticos son personas interesantes. Slo
la gente que no es interesante se dedica a
vender ropa. Por tanto
A.
B.
C.
D.

los vendedores de ropa no son matemticos

algunos matemticos son profesores
algunos profesores no son matemticos
si Pacho no vende ropa, entonces es matemtico

51. Todo lo que se aparta de las leyes es un delito.

Todas las cosas que ocurren por azar se
apartan de las leyes. La deduccin es
A. algunas cosas que ocurren por azar son delito
B. ninguna cosa que ocurra por azar es delito
C. ninguna cosa que ocurra por azar se aparta
de la ley
D. todas las cosas que ocurren por azar son
delitos