Incorrecto
-
Upload
brooke-mueller -
Category
Documents
-
view
39 -
download
0
description
Transcript of Incorrecto
![Page 1: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/1.jpg)
Incorrecto
![Page 2: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/2.jpg)
TRADUCCIÓN
Ejercicio nº10
![Page 3: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/3.jpg)
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.
![Page 4: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/4.jpg)
ETAPA I
Identificación de premisas y conclusión
![Page 5: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/5.jpg)
Premisa 1:
Cualquier animal de la selva al que todo el mundo tema, teme a alguien.
Conclusión:
No hay en la selva ningún animal al que todo el mundo tema.
Premisa 2:
Quien teme a alguien se teme a sí mismo.
Premisa 3:
Ningún animal se teme a sí mismo.
![Page 6: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/6.jpg)
ETAPA IIIdentificación de la forma lógica de premisas y
conclusión
![Page 7: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/7.jpg)
Identificación de la forma lógica de la premisa 1
(y 1)
¿Qué tipo de aserto introduce?
Cualquier animal de la selva al que todo el mundo tema, teme a alguien.
¬ & v
![Page 8: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/8.jpg)
T
Cualquier animal de la selva al que todo el mundo tema, teme a alguien.
![Page 9: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/9.jpg)
Todo x es tal que (Si x es un animal de la selva al que todo el mundo tema, entonces x teme a alguien).
Cualquier animal de la selva al que todo el mundo tema, teme a alguien.
![Page 10: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/10.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Cualquier animal de la selva al que todo el mundo tema, teme a alguien.
Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien).
![Page 11: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/11.jpg)
Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien.
No es simple.
Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien).
![Page 12: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/12.jpg)
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
![Page 13: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/13.jpg)
Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien.
TT
![Page 14: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/14.jpg)
Basta con que x sea un animal de la selva al que todo el mundo teme, para que x tema a alguien.
Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien.
![Page 15: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/15.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien).
Todo x es tal que (Si x es un animal de la selva al que todo el mundo teme, entonces x teme a alguien).
![Page 16: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/16.jpg)
No son simples.
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.
![Page 17: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/17.jpg)
Identificación de la forma lógica de la premisa 1
(y 3)
¿Qué tipo de aserto introduce?
¬ & v
x es un animal de la selva al que todo el mundo teme.
![Page 18: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/18.jpg)
x es un animal de la selva al que todo el mundo teme.
T
&
![Page 19: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/19.jpg)
x es un animal de la selva y todo el mundo le teme.
x es un animal de la selva al que todo el mundo teme.
&
![Page 20: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/20.jpg)
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:
Todo x es tal que ((Si x es un animal de la selva y todo el mundo le teme), entonces x teme a alguien).
¿Contiene esta última oración elementos no analizados?
SiSi No
![Page 21: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/21.jpg)
todo el mundo teme a x.
x teme a alguien.
No son simples.
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.
![Page 22: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/22.jpg)
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
![Page 23: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/23.jpg)
x es un animal de la selva.
T
&
![Page 24: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/24.jpg)
&
x es un animal y x vive en la selva.
x es un animal de la selva.
![Page 25: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/25.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x es tal que ((Si x es un animal de la selva y todo el mundo le teme), entonces x teme a alguien).
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).
![Page 26: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/26.jpg)
Todo el mundo teme a x.
x teme a alguien.
No son simples.
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).
![Page 27: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/27.jpg)
Identificación de la forma lógica de la premisa 1
(y 5)
¿Qué tipo de aserto introduce?
¬ & v
Todo el mundo teme a x.
![Page 28: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/28.jpg)
Todo el mundo teme a x.
T
![Page 29: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/29.jpg)
Para todo individuo z, z teme a x.
Todo el mundo teme a x.
![Page 30: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/30.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
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 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).
![Page 31: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/31.jpg)
x teme a alguien.
No es simple.
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).
![Page 32: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/32.jpg)
Identificación de la forma lógica de la premisa 1
(y 6)
¿Qué tipo de aserto introduce?
¬ & v
x teme a alguien.
![Page 33: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/33.jpg)
x teme a alguien.
T
![Page 34: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/34.jpg)
Existe al menos un individuo w tal que (x teme a w).
x teme a alguien.
![Page 35: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/35.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
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 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 Hay al menos un individuo w tal que (x teme a w).
![Page 36: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/36.jpg)
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
![Page 37: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/37.jpg)
Quien teme a alguien se teme a sí mismo.
T
![Page 38: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/38.jpg)
Quien teme a alguien se teme a sí mismo.
Para todo x (Si x teme a alguien, entonces x se teme a sí mismo).
![Page 39: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/39.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Quien teme a alguien se teme a sí mismo.
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
![Page 40: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/40.jpg)
Si x teme a alguien, entonces x se teme a sí mismo.
No es simple.
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
![Page 41: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/41.jpg)
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
![Page 42: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/42.jpg)
Si x teme a alguien, entonces x se teme a sí mismo.
T
![Page 43: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/43.jpg)
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.
![Page 44: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/44.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
![Page 45: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/45.jpg)
x teme a alguien.
No es simple.
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
![Page 46: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/46.jpg)
Identificación de la forma lógica de la premisa 2
(y 3)
x teme a alguien.
¿Qué tipo de aserto introduce?
¬ & v
![Page 47: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/47.jpg)
x teme a alguien.
T
![Page 48: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/48.jpg)
x teme a alguien.
Existe al menos un individuo z tal que x teme a z.
![Page 49: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/49.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x es tal que (Si x teme a alguien, entonces x se teme a sí mismo).
Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo).
![Page 50: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/50.jpg)
Identificación de la forma lógica de la premisa 3
(y 1)
¿Qué tipo de aserto introduce?
¬ & v
Ningún animal se teme a sí mismo.
![Page 51: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/51.jpg)
Ningún animal se teme a sí mismo.
T
![Page 52: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/52.jpg)
Ningún animal se teme a sí mismo.
Para todo x (Si x es un animal, entonces no se teme a sí mismo).
![Page 53: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/53.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Ningún animal se teme a sí mismo.
Todo x (Si x es un animal, entonces no se teme a sí mismo).
![Page 54: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/54.jpg)
No es simple.
Todo x (Si x es un animal, entonces no se teme a sí mismo).
Si x es un animal, entonces no se teme a sí mismo.
![Page 55: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/55.jpg)
Identificación de la forma lógica de la premisa 3
(y 2)
¿Qué tipo de aserto introduce?
¬ & v
Si x es un animal, entonces no se teme a sí mismo.
![Page 56: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/56.jpg)
Si x es un animal, entonces no se teme a sí mismo.
T
![Page 57: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/57.jpg)
Si x es un animal, entonces no se teme a sí mismo.
Basta con que x sea un animal, para que no se tema a sí mismo.
![Page 58: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/58.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x (Si x es un animal, entonces no se teme a sí mismo).
Todo x (Si x es un animal, entonces x no se teme a sí mismo).
![Page 59: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/59.jpg)
No es simple.
Todo x (Si x es un animal, entonces x no se teme a sí mismo).
x no se teme a sí mismo.
![Page 60: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/60.jpg)
Identificación de la forma lógica de la premisa 3
(y 3)
¿Qué tipo de aserto introduce?
¬ & v
x no se teme a sí mismo.
![Page 61: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/61.jpg)
¬
x no se teme a sí mismo.
T
![Page 62: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/62.jpg)
¬
x no se teme a sí mismo.
No es el caso que x tema a x.
![Page 63: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/63.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo x (Si x es un animal, entonces x no se teme a sí mismo).
Todo x (Si x es un animal, entonces x no teme a x).
![Page 64: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/64.jpg)
Identificación de la forma lógica de la conclusión
(y 1)
¿Qué tipo de aserto introduce?
¬ & v
No hay en la selva ningún animal al que todo el mundo tema.
![Page 65: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/65.jpg)
No hay en la selva ningún animal al que todo el mundo tema.
T
¬
![Page 66: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/66.jpg)
¬
No es el caso que haya en la selva algún animal al que todo el mundo tema.
No hay en la selva ningún animal al que todo el mundo tema.
![Page 67: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/67.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
No hay en la selva ningún animal al que todo el mundo tema.
No existe ningún animal en la selva al que todo el mundo tema.
![Page 68: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/68.jpg)
No es simple.
No existe ningún animal en la selva al que todo el mundo tema.
Existe algún animal en la selva al que todo el mundo tema.
![Page 69: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/69.jpg)
Identificación de la forma lógica de la conclusión
(y 2)
¿Qué tipo de aserto introduce?
¬ & v
Existe algún animal en la selva al que todo el mundo tema.
![Page 70: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/70.jpg)
Existe algún animal en la selva al que todo el mundo tema.
T
![Page 71: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/71.jpg)
Existe algún animal en la selva al que todo el mundo tema.
Hay algún x tal que (x es un animal que vive en la selva y todo el mundo le teme).
![Page 72: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/72.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
No existe ningún animal en la selva al que todo el mundo tema.
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).
![Page 73: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/73.jpg)
No es simple.
x es un animal que vive en la selva y todo el mundo le teme.
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).
![Page 74: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/74.jpg)
Identificación de la forma lógica de la conclusión
(y 3)
¿Qué tipo de aserto introduce?
¬ & v
x es un animal que vive en la selva y todo el mundo le teme.
![Page 75: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/75.jpg)
x es un animal que vive en la selva y todo el mundo le teme.
T
&
![Page 76: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/76.jpg)
&
x es un animal que vive en la selva y todo el mundo le teme.
x es un animal que vive en la selva y todo el mundo le teme.
![Page 77: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/77.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).
No (Hay algún x tal que ((x es un animal que vive en la selva) y todo el mundo le teme).
![Page 78: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/78.jpg)
No son simples.
x es un animal que vive en la selva.
Todo el mundo teme a x.
No (Hay algún x tal que ((x es un animal que vive en la selva) y todo el mundo le teme).
![Page 79: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/79.jpg)
Identificación de la forma lógica de la conclusión
(y 4)
¿Qué tipo de aserto introduce?
¬ & v
x es un animal que vive en la selva.
![Page 80: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/80.jpg)
x es un animal que vive en la selva.
T
&
![Page 81: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/81.jpg)
&
x es un animal y x vive en la selva.
x es un animal que vive en la selva.
![Page 82: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/82.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).
No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).
![Page 83: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/83.jpg)
No es simple.
Todo el mundo teme a x.
No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).
![Page 84: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/84.jpg)
Identificación de la forma lógica de la conclusión
(y 5)
¿Qué tipo de aserto introduce?
¬ & v
Todo el mundo teme a x.
![Page 85: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/85.jpg)
Todo el mundo teme a x.
T
![Page 86: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/86.jpg)
Para todo individuo z, z teme a x.
Todo el mundo teme a x.
![Page 87: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/87.jpg)
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).
No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
![Page 88: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/88.jpg)
Forma lógica del argumento
Da lugar a:
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.
![Page 89: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/89.jpg)
Por tanto,
No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
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 Hay al menos un individuo w tal que (x teme a w).
Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo).
Todo x (Si x es un animal, entonces x no teme a x).
![Page 90: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/90.jpg)
ETAPA IIIConstrucción del Glosario
![Page 91: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/91.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
![Page 92: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/92.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) es un animal.
![Page 93: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/93.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) es un animal.
![Page 94: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/94.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 2)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) vive en la selva.
![Page 95: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/95.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 2)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y x vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) vive en la selva.
![Page 96: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/96.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y x vive en la selva) y Todo individuo z (z teme a x).
![Page 97: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/97.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x se teme a sí mismo). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y x vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) teme a y (x,z...).
![Page 98: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/98.jpg)
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x teme a x). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y x vive en la selva) y Todo individuo z (z teme a x).
x (y,z...) teme a y (x,z...).
![Page 99: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/99.jpg)
Asignación de letras relacionales apropiadas
![Page 100: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/100.jpg)
Asignación de letras relacionales apropiadas
x es un animal: Ax
![Page 101: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/101.jpg)
Asignación de letras relacionales apropiadas
x es un animal: Ax
x vive en la selva: Sx
![Page 102: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/102.jpg)
Asignación de letras relacionales apropiadas
x es un animal: Ax
x vive en la selva: Sx
x teme a y: Txy
![Page 103: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/103.jpg)
ETAPA IV
Traducción a lenguaje de la Lógica de Primer Orden (LPO)
![Page 104: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/104.jpg)
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
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 Hay al menos un individuo w tal que (x teme a w). Todo x es tal que (Si Hay al menos un individuo z tal que (x teme a z), entonces x teme a x). Todo x (Si x es un animal, entonces x no teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y x vive en la selva) y Todo individuo z (z teme a x).
![Page 105: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/105.jpg)
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
Todo x es tal que (((Si .... y ....) y Todo individuo z es tal que (....), entonces Hay al menos un individuo w tal que (....). Todo x es tal que (Si Hay al menos un individuo z tal que (....), entonces ....). Todo x (Si ...., entonces no ....). Por tanto, No (Hay algún x tal que ((.... y....) y Todo individuo z (....).
![Page 106: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/106.jpg)
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
Todo x es tal que (((Si Ax y Sx) y Todo individuo z es tal que (Txz), entonces Hay al menos un individuo w tal que (Twx). Todo x es tal que (Si Hay al menos un individuo z tal que (Txz), entonces Txx). Todo x (Si Ax, entonces no Txx). Por tanto, No (Hay algún x tal que ((Ax ySx) y Todo individuo z (Txz).
![Page 107: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/107.jpg)
Todo x es tal que (((Si Ax y Sx) y Todo individuo z es tal que (Txz), entonces Hay al menos un individuo w tal que (Twx). Todo x es tal que (Si Hay al menos un individuo z tal que (Txz), entonces Txx). Todo x (Si Ax, entonces no Txx). Por tanto, No (Hay algún x tal que ((Ax ySx) y Todo individuo z (Txz).
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Conectivas
![Page 108: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/108.jpg)
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Conectivas
Todo x es tal que (((Ax&Sx)&Todo individuo z es tal que (Txz)) Hay al menos un individuo w tal que (Twx)). Todo x es tal que (Hay al menos un individuo z tal que (Txz)Txx). Todo x (Ax ¬Txx). Por tanto, ¬(Hay algún x tal que ((Ax&Sx)&Todo individuo z (Txz).
![Page 109: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/109.jpg)
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Cuantores
Todo x es tal que (((Ax&Sx)&Todo individuo z es tal que (Txz)) Hay al menos un individuo w tal que (Twx)). Todo x es tal que (Hay al menos un individuo z tal que (Txz)Txx). Todo x (Ax ¬Txx). Por tanto, ¬(Hay algún x tal que ((Ax&Sx)&Todo individuo z (Txz).
![Page 110: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/110.jpg)
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Cuantores
x(((Ax&Sx)&z(Txz))w(Twx)).x(z(Txz)Txx).x (Ax ¬Txx). Por tanto, ¬(x((Ax&Sx)&z(Txz).
![Page 111: Incorrecto](https://reader037.fdocuments.es/reader037/viewer/2022110405/568132c2550346895d99858a/html5/thumbnails/111.jpg)
Traducción
Resultado final
Da lugar a:
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.
x(((Ax&Sx)&z(Txz))w(Twx)).x(z(Txz)Txx).x (Ax ¬Txx).
Por tanto,
¬(x((Ax&Sx)&z(Txz).