Incorrecto Correcto Incorrecto Correcto TRADUCCIÓN Ejercicio nº3.

Presentación del tema: "Incorrecto Correcto Incorrecto Correcto TRADUCCIÓN Ejercicio nº3."— Transcripción de la presentación:

1

2 Incorrecto

3 Correcto

4 Incorrecto

5 Correcto

6

7

8 TRADUCCIÓN Ejercicio nº3

9 Argumento: Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.

10 ETAPA I Identificación de premisas y conclusión

11 Premisa 1: Todo el que practica un deporte, practica un deporte violento. Conclusión: Todo el mundo practica algún deporte violento Premisa 2: Todo el mundo practica algún deporte

12 ETAPA II Identificación de la forma lógica de premisas y conclusión

13 Identificación de la forma lógica de la premisa 1 (y 1) ¿Qué tipo de aserto introduce? Todo el que practica un deporte, practica un deporte violento. ¬&v 

14  T

15  Para todo individuo x sucede que (si x practica un deporte, entonces x es practica un deporte violento) Todo el que practica un deporte, practica un deporte violento.

16 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Todo el que practica un deporte, practica un deporte violento. Para todo individuo x sucede que (si x practica un deporte, entonces x es practica un deporte violento)

17 Si x practica un deporte, entonces x practica un deporte violento No es simple Para todo individuo x sucede que (si x practica un deporte, entonces x practica un deporte violento)

18 Identificación de la forma lógica de la premisa 1 (y 2) Si x practica un deporte, entonces x practica un deporte violento ¿Qué tipo de aserto introduce? ¬&v 

19 Si x practica un deporte, entonces x practica un deporte violento.  T T

20  Es suficiente que (x practique un deporte) para que (x practique un deporte violento) Si x practica un deporte, entonces x practica un deporte violento.

21 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Para todo individuo x sucede que (si x practica un deporte, entonces x practica un deporte violento) Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento))

22 x practica un deporte violento No son simples Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento)) x practica un deporte, y

23 Identificación de la forma lógica de la premisa 1 (y 3) ¿Qué tipo de aserto introduce? ¬&v  x practica un deporte

24 T 

25 Hay al menos una entidad y tal que (y es un deporte que x practica) x practica un deporte 

26 Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento)) da lugar a Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento)) ¿Contiene esta última oración elementos no analizados? Si No

27 x practica un deporte violento No son simples Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento)) y es un deporte que x practica

28 Identificación de la forma lógica de la premisa 1 (y 4) y es un deporte que x practica ¿Qué tipo de aserto introduce? ¬&v 

29 & y es un deporte y x practica y y es un deporte que x practica

30 da lugar a ¿Contiene esta última oración elementos no analizados? Si No Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento)) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento))

31 x practica un deporte violento No es simple Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento))

32 Identificación de la forma lógica de la premisa 1 (y 4) x practica un deporte violento Se trata como en el caso precedente

33 x practica un deporte violento T

34 Hay al menos una entidad z tal que (z es un deporte y z es violento y x practica z)

35 da lugar a ¿Contiene esta última oración elementos no analizados? Si No Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento)) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z))

36 Identificación de la forma lógica de la premisa 2 (y 1) Todo el mundo practica algún deporte ¿Qué tipo de aserto introduce? ¬&v 

37  Todo el mundo practica algún deporte T

38  Para todo individuo x sucede que (x practica algún deporte)

39 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Todo el mundo practica algún deporte Para todo individuo x sucede que (x practica algún deporte)

40 No es simple Para todo individuo x sucede que ( x practica algún deporte) x practica algún deporte

41 Identificación de la forma lógica de la premisa 2 (y 2) ¿Qué tipo de aserto introduce? ¬&v  x practica algún deporte

42  T

43  Hay alguna entidad y tal que (y es un deporte que x practica)

44 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Para todo individuo x sucede que (x practica algún deporte) Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica ))

45 No es simple y es un deporte que x practica Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica ))

46 Identificación de la forma lógica de la premisa 2 (y 3) ¿Qué tipo de aserto introduce? ¬&v  y es un deporte que x practica

47 & (y es un deporte) y (x practica y) y es un deporte que x practica

48 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica )) Para todo individuo x sucede que (hay una entidad y tal que ((y es un deporte) y (x practica y))

49 Identificación de la forma lógica de la conclusión (y 1) Se trata igual que la premisa 2 Todo el mundo practica algún deporte violento

50 T

51 Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y))

52 Da lugar a ¿Contiene esta última oración elementos no analizados? Si No Todo el mundo practica algún deporte violento Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y))

53 Forma lógica del argumento da lugar a Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.

54 Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y))

55 ETAPA III Construcción del Glosario

56 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

57 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) es un deporte

58 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) es un deporte

59 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 2) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) es (una actividad) violenta

60 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 2) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) es (una actividad) violenta

61 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

62 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) practica y (x,z...)

63 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)). x (y,z...) practica y (x,z...)

64 Asignación de letras relacionales apropiadas x es un deporte: Dx

65 Asignación de letras relacionales apropiadas x es un deporte: Dx x es (una actividad) violenta: Vx

66 Asignación de letras relacionales apropiadas x es un deporte: Dx x es (una actividad) violenta: Vx x practica y: Pxy

67 ETAPA IV Traducción a lenguaje de la Lógica de Primer Orden (LPO)

68 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

69 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (..... y.....)), para que (haya al menos una entidad z tal que (..... y..... y.....)). Para todo individuo x sucede que (hay alguna entidad y tal que (..... y.....)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (..... y..... y.....)).

70 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que ( Dy y Pxy)), para que (haya al menos una entidad z tal que ((Dz y Vz)y Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy y Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy y Vy) y Pxy)).

71 Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas

72 Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que ( Dy y Pxy)), para que (haya al menos una entidad z tal que ((Dz y Vz) y Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy y Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy y Vy) y Pxy)).

73 Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Para todo individuo x sucede que ((hay al menos una entidad y tal que ( Dy & Pxy))  (hay al menos una entidad z tal que ((Dz &Vz) & Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy & Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy & Vy) & Pxy)).

74 Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores Para todo individuo x sucede que ((hay al menos una entidad y tal que ( Dy & Pxy))  (hay al menos una entidad z tal que ((Dz &Vz) & Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy & Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy & Vy) & Pxy)).

75 Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores  x(  y ( Dy & Pxy)   z ((Dz &Vz) & Pxz)).  x(  y (Dy & Pxy)). Por tanto,  x(  y ((Dy & Vy) & Pxy)).

76 Traducción Resultado final da lugar a Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.  x[  y ( Dy & Pxy)   z ((Dz &Vz) & Pxz)]  x(  y (Dy & Pxy)) Por tanto,  x(  y ((Dy & Vy) & Pxy)).