Incorrecto

1. Incorrecto

2. TRADUCCIÓN Ejercicio nº10

3. Argumento: Cualquier animal de la selva al que todo el mundo tema, teme a alguien. Quien teme a alguien se teme a sí mismo. Ningún animal se teme a sí mismo. Por lo tanto, no hay en la selva ningún animal al que todo el mundo tema.

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

5. Premisa 1: Cualquier animal de la selva al que todo el mundo tema, teme a alguien. Premisa 2: Quien teme a alguien se teme a sí mismo. Premisa 3: Ningún animal se teme a sí mismo. Conclusión: No hay en la selva ningún animal al que todo el mundo tema.

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) Cualquier animal de la selva al que todo el mundo tema, teme a alguien. ¿Qué tipo de aserto introduce? ¬ & v   

8.  Cualquier animal de la selva al que todo el mundo tema, teme a alguien. T

9.  Cualquier animal de la selva al que todo el mundo tema, teme a alguien. Todox es tal que (Si xes un animal de la selva al que todo el mundo tema, entonces x teme a alguien).

10. Cualquier animal de la selva al que todo el mundo tema, teme a alguien. Da lugar a: Todox es tal que (Si xes un animal de la selva al que todo el mundo teme, entonces x teme a alguien). ¿Contiene esta última oración elementos no analizados? Si No

11. Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien). Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien. No es simple.

12. Identificación de la forma lógica de la premisa 1 (y 2) Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien. ¿Qué tipo de aserto introduce? ¬ & v   

13.  Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien. T T

14.  Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien. Basta con que x sea un animal de la selva al que todo el mundo teme, para que x tema a alguien.

15. Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien). Da lugar a: Todox es tal que (Sixes un animal de la selva al que todo el mundo teme, entoncesx teme a alguien). ¿Contiene esta última oración elementos no analizados? Si No

16. Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien). x es un animal de la selva al que todo el mundo teme. x teme a alguien. No son simples.

17. Identificación de la forma lógica de la premisa 1 (y 3) x es un animal de la selva al que todo el mundo teme. ¿Qué tipo de aserto introduce? ¬ & v   

18. & x es un animal de la selva al que todo el mundo teme. T

19. & x es un animal de la selva al que todo el mundo teme. x es un animal de la selva y todo el mundo le teme.

20. Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien). Da lugar a: Todox es tal que ((Sixes un animal de la selva y todo el mundo le teme), entoncesx teme a alguien). ¿Contiene esta última oración elementos no analizados? Si No

21. Todo x es tal que ((Si x es un animal de la selva y todo el mundo le teme), entonces x teme a alguien). x es un animal de la selva. todo el mundo teme a x. x teme a alguien. No son simples.

22. Identificación de la forma lógica de la premisa 1 (y 4) x es un animal de la selva. ¿Qué tipo de aserto introduce? ¬ & v   

23. & x es un animal de la selva. T

24. & x es un animal de la selva. x es un animal y x vive en la selva.

25. Todo x es tal que ((Si x es un animal de la selva y todo el mundo le teme), entonces x teme a alguien). Da lugar a: Todox es tal que (((Sixes un animal y x vive en la selva) y todo el mundo le teme), entoncesx teme a alguien). ¿Contiene esta última oración elementos no analizados? Si No

26. Todo x es tal que (((Si x es un animal y x vive en la selva) y todo el mundo le teme), entonces x teme a alguien). Todo el mundo teme a x. x teme a alguien. No son simples.

27. Identificación de la forma lógica de la premisa 1 (y 5) Todo el mundo teme a x. ¿Qué tipo de aserto introduce? ¬ & v   

28.  Todo el mundo teme a x. T

29.  Todo el mundo teme a x. Para todo individuo z, z teme a x.

30. Todo x es tal que (((Si x es un animal y x vive en la selva) y todo el mundo le teme), entonces x teme a alguien). Da lugar a: Todox es tal que (((Sixes un animal y x vive en la selva) y Todo individuo z es tal que (z teme a x), entoncesx teme a alguien). ¿Contiene esta última oración elementos no analizados? Si No

31. Todo x es tal que (((Si x es un animal y x vive en la selva) y Todo individuo z es tal que (z teme a x), entonces x teme a alguien). x teme a alguien. No es simple.

32. Identificación de la forma lógica de la premisa 1 (y 6) x teme a alguien. ¿Qué tipo de aserto introduce? ¬ & v   

33.  x teme a alguien. T

34.  x teme a alguien. Existe al menos un individuo w tal que (x teme a w).

35. Todo x es tal que (((Si x es un animal y x vive en la selva) y todo el mundo le teme), entonces x teme a alguien). Da lugar a: Todox es tal que (((Sixes un animal y x vive en la selva) y Todo individuo z es tal que (z teme a x), entoncesHay al menos un individuo w tal que (x teme a w). ¿Contiene esta última oración elementos no analizados? Si No

36. Identificación de la forma lógica de la premisa 2 (y 1) Quien teme a alguien se teme a sí mismo. ¿Qué tipo de aserto introduce? ¬ & v   

37.  Quien teme a alguien se teme a sí mismo. T

38.  Quien teme a alguien se teme a sí mismo. Para todo x (Si x teme a alguien, entonces x se teme a sí mismo).

39. Quien teme a alguien se teme a sí mismo. Da lugar a: Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo). ¿Contiene esta última oración elementos no analizados? Si No

40. Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo). Si x teme a alguien, entonces x se teme a sí mismo. No es simple.

41. Identificación de la forma lógica de la premisa 2 (y 2) Si x teme a alguien, entonces x se teme a sí mismo. ¿Qué tipo de aserto introduce? ¬ & v   

42.  Si x teme a alguien, entonces x se teme a sí mismo. T

43.  Si x teme a alguien, entonces x se teme a sí mismo. Basta con que x tema a alguien, para que x se tema a sí mismo.

44. Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo). Da lugar a: Todo x es tal que (Six teme a alguien, entoncesx se teme a sí mismo). ¿Contiene esta última oración elementos no analizados? Si No

45. Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo). x teme a alguien. No es simple.

46. Identificación de la forma lógica de la premisa 2 (y 3) x teme a alguien. ¿Qué tipo de aserto introduce? ¬ & v   

47.  x teme a alguien. T

48.  x teme a alguien. Existe al menos un individuo z tal que x teme a z.

49. Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo). Da lugar a: Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). ¿Contiene esta última oración elementos no analizados? Si No

50. Identificación de la forma lógica de la premisa 3 (y 1) Ningún animal se teme a sí mismo. ¿Qué tipo de aserto introduce? ¬ & v   