Incorrecto. TRADUCCIÓN Ejercicio nº6 Argumento: El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales.

Presentación del tema: "Incorrecto. TRADUCCIÓN Ejercicio nº6 Argumento: El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales."— Transcripción de la presentación:

1 Incorrecto

2 TRADUCCIÓN Ejercicio nº6

3 Argumento: El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales.

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

5 Premisa 1: El oro es un metal. Conclusión: Los buscadores de oro son buscadores de metales.

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

7 Identificación de la forma lógica de la premisa 1 (y 1) El oro es un metal. ¿Qué tipo de aserto introduce? ¬&v

8 El oro es un metal. T

9 El oro es un metal. Para todo x sucede que (Si x es oro, entonces x es un metal).

10 El oro es un metal. Todo objeto x es tal que (Si x es oro entonces, x es un metal). Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No

11 Si x es oro entonces, x es un metal. No es simple. Todo objeto x es tal que (Si x es oro entonces, x es un metal).

12 Identificación de la forma lógica de la premisa 1 (y 2) Si x es oro entonces, x es un metal. ¿Qué tipo de aserto introduce? ¬&v

13 Si x es oro entonces, x es un metal. T

14 Basta con que (x sea oro para que x sea un metal). Si x es oro entonces, x es un metal

15 Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo objeto x es tal que (Si x es oro entonces, x es un metal).

16 Identificación de la forma lógica de la conclusión (y 1) ¿Qué tipo de aserto introduce? ¬&v Los buscadores de oro son buscadores de metales.

17 T

18 Para todo individuo x (Si x es un buscador de oro entonces, x es un buscador de metales). Los buscadores de oro son buscadores de metales.

19 Da lugar a: Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales). ¿Contiene esta última oración elementos no analizados? Si No

20 Si x es un buscador de oro entonces, x es un buscador de metales. No es simple. Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales).

21 Identificación de la forma lógica de la conclusión (y 2) ¿Qué tipo de aserto introduce? ¬&v Si x es un buscador de oro entonces, x es un buscador de metales.

22 T Si x es un buscador de oro entonces, x es un buscador de metales.

23 Basta con que x sea buscador de oro, para que x sea buscador de metales. Si x es un buscador de oro entonces, x es un buscador de metales.

24 Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales). Da lugar a: Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales). ¿Contiene esta última oración elementos no analizados? Si No

25 x es un buscador de oro. x es un buscador de metales. No son simples. Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales).

26 Identificación de la forma lógica de la conclusión (y 3) x es un buscador de oro. ¿Qué tipo de aserto introduce? ¬&v

27 T x es un buscador de oro.

28 Hay al menos un objeto z tal que (z (z es oro y x lo busca). x es un buscador de oro.

29 Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales). Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)).

30 z es oro y x lo busca. x es un buscador de metales. No son simples. Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)).

31 Identificación de la forma lógica de la conclusión (y 4) ¿Qué tipo de aserto introduce? ¬&v z es oro y x lo busca.

32 & T

33 & z es oro y x lo busca. z es oro y x lo busca.

34 Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)).

35 x es un buscador de metales. No es simple. Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)).

36 Identificación de la forma lógica de la conclusión (y 5) ¿Qué tipo de aserto introduce? ¬&v x es un buscador de metales.

37 x es un buscador de metales. T

38 Hay al menos un objeto w tal que w es un metal y x lo busca. x es un buscador de metales.

39 Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)). Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

40 w es un metal y x lo busca. No es simple. Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

41 Identificación de la forma lógica de la conclusión (y 6) ¿Qué tipo de aserto introduce? ¬&v w es un metal y x lo busca.

42 & T

43 & w es un metal y x lo busca. w es un metal y x lo busca.

44 Da lugar a: ¿Contiene esta última oración elementos no analizados? Si No Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

45 El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales. Da lugar a:

46 Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

47 ETAPA III Construcción del Glosario

48 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

49 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es oro.

50 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (propiedades) (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es oro.

51 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (y 2) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es un metal.

52 Identificación de las relaciones n-arias presentes en el argumento Relaciones unarias (y 2) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es un metal.

53 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

54 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y, z,...) busca (z, w,...).

55 Identificación de las relaciones n-arias presentes en el argumento Relaciones binarias (y 1) Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x, (y, z,...) busca (z, w,...).

56 Asignación de letras relacionales apropiadas

57 x es oro: Ox

58 Asignación de letras relacionales apropiadas x es oro: Ox x es metal: Mx

59 Asignación de letras relacionales apropiadas x es oro: Ox x es metal: Mx x busca y: Bxy

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

61 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Todo objeto x es tal que (Si x es oro entonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).

62 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Todo objeto x es tal que (Si.... entonces,....). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (.... y....)) entonces, (Hay al menos un objeto w tal que (.... y....)).

63 Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes Todo objeto x es tal que (Si Ox entonces, Mx). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (Oz y Bxz)) entonces, (Hay al menos un objeto w tal que (Mw y Bxw)).

64 Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Todo objeto x es tal que (Si Ox entonces, Mx). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (Oz y Bxz)) entonces, (Hay al menos un objeto w tal que (Mw y Bxw)).

65 Substitución de las constantes lógicas presentes por los símbolos correspondientes Conectivas Todo objeto x es tal que (Ox Mx). Por tanto, Todo individuo x es tal que (( Hay al menos un objeto z tal que (Oz&Bxz)) (Hay al menos un objeto w tal que (Mw&Bxw)).

66 Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores Todo objeto x es tal que (Ox Mx). Por tanto, Todo individuo x es tal que (( Hay al menos un objeto z tal que (Oz&Bxz)) (Hay al menos un objeto w tal que (Mw&Bxw)).

67 Substitución de las constantes lógicas presentes por los símbolos correspondientes Cuantores x(Ox Mx). Por tanto, x(( z(Oz&Bxz)) ( w(Mw&Bxw)).

68 Traducción Resultado final El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales. Da lugar a : x(Ox Mx). Por tanto, x(( z(Oz&Bxz)) ( w(Mw&Bxw)).