Está en la página 1de 10
Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las
Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las
Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

Departamento de Matemáticas

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

Objetivo:

Representar de manera gráfica la relación existente entre varios conjuntos y las características de sus elementos haciendo uso de la teoría lógica.

Diagramas lógicos: Es la representación gráfica (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.

Solución:

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í:

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

En la segunda premisa tenemos que el conjunto de los colombianos está incluido totalmente en el conjunto de los alegres, así:

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las
Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

Ahora, incluyendo ambas partes:

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

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 categorías, es decir, cuando se separan especies, conjuntos, grupos, por comas o por renglón en forma categórica. Lo primero que se debe hacer es resolver el problema de cultura general, es decir, saber si en realidad estos conjuntos, grupos, especies están relacionados o no y a qué nivel. Cuando se tenga claro esto, se construye el diagrama lógico respetando estas relaciones si las hay.

Es importante tener claro que cuando se habla

de "algunos" podría referirse a todos.

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

Gimnastas, mecánicos, empresarios.

Solución:

En un grupo de gimnastas, mecánicos y empresarios

es posible tener individuos gimnastas, mecánicos y empresarios como también personas que sólo

cumplen dos de estos tres roles y personas que sólo

cumplen un rol.

Veámoslo en un diagrama lógico.

Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las
Departamento de Matemáticas Objetivo: Representar de manera gráfica la relación existente entre varios conjuntos y las

A - RL0010 - 06

17
17

Análisis de zona

Zona 1: Personas que son gimnastas, mecánicos y empresarios.

Zona 2: Personas que son gimnastas y mecánicos pero no empresarios.

Zona 3: Personas que son mecánicos y empresarios pero no gimnastas.

Zona 4: Personas que son gimnastas y empresarios pero no mecánicos.

Zona 5: Personas que sólo son gimnastas.

Zona 6: Personas que sólo son mecánicos.

Zona 7: Personas que sólo son empresarios.

Silogismo

Es un tipo de inferencia mediata.

Silogismo categórico:

Hay tres términos, uno de ellos se repite en las premisas y no aparece en la conclusión. Si reemplazamos cada uno de los términos por las letras “M” (para el término que se repite en las premisas), “S” (para el sujeto de conclusión), y “P” (para el predicado de la conclusión), es posible obtener la forma lógica del razonamiento.

Forma típica del silogismo categórico

La conclusión contiene dos de los tres términos del silogismo:

su P es el término mayor del silogismo

su S es el término menor del silogismo

El término mayor y el término menor aparecen en premisas diferentes.

Término medio: es el tercer término, que aparece en ambas premisas, pero no en la conclusión.

Así por ejemplo:

Análisis de zona Zona 1: Personas que son gimnastas, mecánicos y empresarios. Zona 2: Personas que

Mediante un diagrama se puede visualizar lo afirmado.

Análisis de zona Zona 1: Personas que son gimnastas, mecánicos y empresarios. Zona 2: Personas que
Análisis de zona Zona 1: Personas que son gimnastas, mecánicos y empresarios. Zona 2: Personas que

A partir de lo cual la conclusión se desprende de las premisas con necesidad lógica, sin tener en cuenta el contenido.

En estos ejemplos de interpretación se puede observar que ambos razonamientos tienen en común la estructura lógica, 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 conclusión es verdadera, y sin embargo de ambos se puede decir que son válidos. Con esto se quiere significar que la validez es independiente del contenido, y la lógica dispone de métodos deductivos propios a partir de los cuales determina la validez o invalidez de los razonamientos según la forma de los silogismos. Patrones del Silogismo:

Todo S es P Ningún S es P Algún S es P Algún S no es P

De todos los patrones posibles para la construcción de los silogismos, Aristóteles encontró válidos sólo 16 de ellos, y al dejar en la lista entre cada dos equivalentes, a sólo uno de ellos, dijo que eran:

18
18

A - RL0010 - 06

Análisis de zona Zona 1: Personas que son gimnastas, mecánicos y empresarios. Zona 2: Personas que
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M

Dos de los silogismos considerados por Aristóteles en realidad no son válidos.

Estos son:

Todo M es P

Ningún M es P

Todo M es S

Todo M es S

Algún S es P

Algún S no es P

Euler inventó un modo elegante de comprobar la validez de los silogismos mediante ideas geométricas: se conoce con el nombre de método de los círculos de Euler.

La idea consiste en representar el silogismo mediante tres círculos que se solapan.

Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M

Para ilustrar el método, consideremos el

ejemplo:

Todos los hombres son mortales

Sócrates es un hombre

Sócrates es mortal

Esto es:

Todos los M son P Todos los S son M Todos los S son P

La premisa mayor, Todos los M son P, dice que las regiones 3 y 5 están vacías (todos los objetos de M están en P, lo que equivale a decir que se hallan en las regiones marcadas con 2

y 4).

Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M

La premisa menor, Todos los S son M, establece que las reglas 1 y 7 están vacías. Así pues, el efecto combinado de las dos premisas indica que las regiones 1, 3, 5, y 7 se hallan vacías.

El objetivo ahora es construir una proposición que haga intervenir a S y a P y que sea consistente con esta información referente a las diversas regiones. Las regiones 3 y 7 están vacías, de modo que cualquier cosa en S debe hallarse en la región 1 o en la 4, y por lo tanto

en P. En otras palabras, todo S es P.

Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M
Dos de los silogismos considerados por Aristóteles en realidad no son válidos. Estos son: Todo M

A - RL0010 - 06

19
19
En los ejercicios del 1 al 10, escoja el diagrama que mejor representa las premisas dadas.
En los ejercicios del 1 al 10, escoja el diagrama
que mejor representa las premisas dadas.
3.
Ningún estafador es confiable
A.
B.
1.
Algunos triángulos son triángulos equiláteros
A.
B.
C.
D.
C.
D.
4.
Todos los hombres son bípedos y vivíparos
A.
B.
C.
D.
2.
Todo rombo es paralelogramo
A.
B.
5.
Algunas teorías políticas son fundamentalmente
lógicas
A.
B.
C.
D.
C.
D.
20
A - RL0010 - 06
6. Todos los trapecios no son volúmenes 9. No todos los triángulos isósceles no son equiláteros
6.
Todos los trapecios no son volúmenes
9.
No todos los triángulos isósceles no son
equiláteros
A.
B.
A.
B.
C.
D.
C.
D.
7.
Ningún cuadrado no es rectángulo
10. No
es
cierto que, todo cuadrilátero es
A.
B.
rectángulo o rombo
A.
C.
D.
B.
8.
No todos los perros son perros agresivos
A.
B.
C.
C.
D.
D.
21
A - RL0010 - 06

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. A.
 

A.

A. A.
A. A.
A. A.
B.

B.

B.
B.
 

B.

C.

C.

C.
C.

D.

D. D.
D. D.

D.

D. D.

E.

E. E.

E.

E. E.
E. E.

11.

Turpiales, aves, caballos

14. Rombos, pentágonos, rectángulos

 
 

A.

A

  • A. A

  • B. C

  • C. B

  • D. D

 

B.

C.

D.

B

C

E

12.

Suramericanos, humanos, científicos

15. Soldados, militares, maestros

 
  • A. B

A.

E

  • B. A

B.

B

  • C. D

C.

C

  • D. E

D.

D

13.

Artistas, escultores, herreros

16. Antioqueños, colombianos, europeos

 
  • A. E

A.

E

  • B. C

B.

B

  • C. A

C.

C

  • D. B

D.

D

22
22

A - RL0010 - 06

 
22 A - RL0010 - 06

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. A.

A.

A. A.
 

B.

B. B. C.
 

B.

C.

B. B. C.

C.

C.
 
C.
D. E.

D.

  • E.

E.

D.

D.
  • 20. Perros, mamíferos, vertebrados

 
  • A. C

E.

E. B. B
 
  • B. B

  • C. A

  • D. D

  • 21. Felinos, reptiles, animales peligrosos

17. Nadadores, colombianos, americanos

 
  • A. D

A.

A

  • B. C

B.

E

  • C. B

C.

D

  • D. A

D.

B

 
 
  • 22. Ácidos, líquidos, sólidos

 

18. Deportistas, coleccionistas, toreros

 
 
  • A. D

A.

A

 

B.

C.

D.

B

C

D

 
  • B. C

  • C. B

  • D. A

19. Pentágonos, cuadrados, poligonos regulares

  • 23. Ciclistas, futbolistas, deportistas

A.

B

 
  • A. B

B.

C

  • B. E

C.

D

  • C. C

D.

A

  • D. D

A - RL0010 - 06 23
 

A - RL0010 - 06

23
23

En los ejercicios del 24 al 30, escoja el diagrama que mejor representa los conjuntos dados.

26.

Números naturales, números pares, números irracionales.

  • A. A

  • B. B

A.

A. C. E
 
  • C. E

  • D. D

27.

Profesionales, abogados, ingenieros

  • A. B

 
  • B. A

B.

B. C. E
 
  • C. E

  • D. D

28.

Elipse, circunferencia, cónicas

  • A. A

C.

C. B. B
 
  • B. B

C. E
 
  • C. E

 
  • D. D

 

29.

Números complejos, números naturales, números primos

D.

D.
   
  • A. C

  • B. E

  • C. A

  • D. B

30. Rosales, plantas, peces

30.

Rosales, plantas, peces

E.

E. A. A
  • A. A

  • B. B

  • C. C

 
  • D. E

24.

Cuadrados, rombos, rectángulos

 

En los ejercicios del 31 al 51, halle con ayuda

  • A. A

  • B. B

  • C. C

de diagramas la conclusión que puede

sacarse de las premisas dadas.

  • D. D

31.

Todo número múltiplo de dos es par. Por tanto

  • A. todo número par es múltiplo de dos

 

25.

Mitos, relatos escritos, geometrías

  • B. algunos números que no son múltiplos de dos son impares

  • A. E

  • C. si un número es múltiplo de dos entonces

  • B. B

es par

  • C. C

  • D. algunos números pares no son múltiplos

  • D. D

de dos

24
24

A - RL0010 - 06

24 A - RL0010 - 06
  • 32. Ningún país no desarrollado es un país no acuícola. Por tanto

    • A. todo país no desarrollado es país acuícola

    • B. todo país no desarrollado es país no acuícola

    • C. todo país desarrollado es país no acuícola

    • D. todo país desarrollado es país acuícola

      • 33. Todos los socialistas son pacifistas. Por tanto

        • A. algunos no pacifistas no son no socialistas

        • B. ningún no socialista es no pacifista

        • C. todos los no pacifistas son no socialistas

        • D. algún socialista es no pacifista

          • 34. Algunos santos fueron mártires. Por tanto

            • A. todos los santos fueron mártires

            • B. todos los no mártires fueron no santos

            • C. no es cierto que ningún mártir es santo

            • D. algunos mártires 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. ningún no pirata es comerciante

                  • 36. Ningún espía es periodista. Usted es periodista. La deducción es

                    • A. usted es espía

                    • B. usted no es espía

                    • C. los espías son periodistas

                    • D. algunos periodistas son espías

                      • 37. Todo trapecio es cuadrilátero. Algún polígono no es cuadrilátero. Por tanto

                        • A. algún polígono es cuadrilátero

                        • B. algún polígono no es trapecio

                        • C. ningún trapecio es polígono

                        • D. todo trapecio no es polígono

  • 38. Alguna relación no es función. Toda relación es una correspondencia. Por tanto

    • A. toda correspondencia no es función

    • B. ninguna correspondencia es función

    • C. no toda función no es correspondencia

    • D. alguna correspondencia no es función

      • 39. Algunos hombres son baladistas. Todos los baladistas son cantantes. Por tanto

        • A. todos los cantantes son baladistas

        • B. algunos hombres son cantantes

        • C. algunos baladistas son hombres

        • D. todas las mujeres son cantantes

          • 40. Todos los vertebrados con branquias no tienen pulmones. Algunos vertebrados con branquias son anfibios. Por tanto

            • A. algunos anfibios no tienen pulmones

            • B. ningún anfibio tiene pulmones

            • C. ningún anfibio no tiene pulmones

            • D. 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. Ana no es mujer

                • B. Ana no es baladista

                • C. Ana es cantante

                • D. Ana no es cantante

                  • 42. Todo triángulo equiángulo es triángulo equilátero. No todo triángulo es triángulo equilátero. Por tanto

                    • A. no todo triángulo es triángulo equiángulo

                    • B. todo triángulo no es triángulo equiángulo

                    • C. algún triángulo equiángulo no es triángulo

                    • D. es falso que, algún triángulo no es triángulo equiángulo

                      • 43. Todos los amigos de Pedro son chicos que juegan baloncesto. Todos los chicos que juegan baloncesto son altos. La deducción es

                        • A. algunos amigos de Pedro son altos

                        • B. ningún jugador de baloncesto es alto

                        • C. todos los amigos de Pedro son altos

                        • D. ningún amigo de Pedro es alto

32. Ningún país no desarrollado es un país no acuícola. Por tanto A. todo país no

A - RL0010 - 06

25
25
  • 44. Según el siguiente diagrama de Venn, el argumento válido que lo representa es

44. Según el siguiente diagrama de Venn, el argumento válido que lo representa es A. todos
  • 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. ningún 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. Ningún estudiante es perezoso. Juan es un artista. Todos los artistas son perezosos. La deducción es

      • A. algunos estudiantes son perezosos

      • B. Juan no es estudiante

      • C. algunos estudiantes no son perezosos

      • D. Juan es estudiante

        • 46. Todos los médicos son deportistas. Los coleccionistas de estampillas son personas tímidas. Beatriz es médica. Ninguna persona tímida es deportista. La deducción es

          • A. algunas personas tímidas son deportistas

          • B. todos los coleccionistas de estampillas son deportistas, como Beatriz

          • C. Beatriz no colecciona estampillas

          • D. algunos médicos coleccionan estampillas

            • 47. Todos los abogados son ricos. Los poetas son caprichosos. Marcos es abogado. Ningún caprichoso es rico. La deducción es

              • A. algunos abogados son poetas

              • B. algunos caprichosos son ricos

              • C. Marcos no es poeta

              • D. todos los ricos son abogados, menos Marcos

  • 48. Los pastores son perros. Los perros son mamíferos. Ningún mamífero pone huevos. Por tanto

    • A. algunos pastores son mamíferos

    • B. los pastores son ovíparos

    • C. algunos mamíferos no ponen huevos

    • D. todos los pastores no ponen huevos

      • 49. A partir de la siguiente representación no podemos afirmar que

44. Según el siguiente diagrama de Venn, el argumento válido que lo representa es A. todos
  • A. ningún 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 matemáticos son personas interesantes. Sólo la gente que no es interesante se dedica a vender ropa. Por tanto

      • A. los vendedores de ropa no son matemáticos

      • B. algunos matemáticos son profesores

      • C. algunos profesores no son matemáticos

      • D. si Pacho no vende ropa, entonces es matemático

        • 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 deducción 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

26
26

A - RL0010 - 06

44. Según el siguiente diagrama de Venn, el argumento válido que lo representa es A. todos