slide1
Download
Skip this Video
Download Presentation
Incorrecto

Loading in 2 Seconds...

play fullscreen
1 / 111

Incorrecto - PowerPoint PPT Presentation


  • 122 Views
  • Uploaded on

Incorrecto. TRADUCCIÓN. Ejercicio nº 10. 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. ETAPA I

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Incorrecto' - brooke-mueller


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide2
TRADUCCIÓN

Ejercicio nº10

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

slide4
ETAPA I

Identificación de premisas y conclusión

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

slide6
ETAPA II

Identificación de la forma lógica de premisas y conclusión

slide7
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

slide8

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

T

slide9

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

slide10
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

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

slide12
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

slide13

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

T

T

slide14

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.

slide15
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

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

slide17
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

slide18
&

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

T

slide19
&

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.

slide20
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

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

slide22
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

slide23
&

x es un animal de la selva.

T

slide24
&

x es un animal de la selva.

x es un animal y x vive en la selva.

slide25
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

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

slide27
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

slide28

Todo el mundo teme a x.

T

slide29

Todo el mundo teme a x.

Para todo individuo z, z teme a x.

slide30
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

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

slide32
Identificación de la forma lógica de la premisa 1

(y 6)

x teme a alguien.

¿Qué tipo de aserto introduce?

¬

&

v

slide33

x teme a alguien.

T

slide34

x teme a alguien.

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

slide35
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

slide36
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

slide37

Quien teme a alguien se teme a sí mismo.

T

slide38

Quien teme a alguien se teme a sí mismo.

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

slide39
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

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

slide41
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

slide42

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

T

slide43

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.

slide44
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

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

x teme a alguien.

No es simple.

slide46
Identificación de la forma lógica de la premisa 2

(y 3)

x teme a alguien.

¿Qué tipo de aserto introduce?

¬

&

v

slide47

x teme a alguien.

T

slide48

x teme a alguien.

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

slide49
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

slide50
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

slide51

Ningún animal se teme a sí mismo.

T

slide52

Ningún animal se teme a sí mismo.

Para todo x (Si x es un animal, entonces no se teme a sí mismo).

slide53
Ningún animal se teme a sí mismo.

Da lugar a:

Todo x (Si x es un animal, entonces no se teme a sí mismo).

¿Contiene esta última oración elementos no analizados?

Si

No

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

No es simple.

slide55
Identificación de la forma lógica de la premisa 3

(y 2)

Si x es un animal, entonces no se teme a sí mismo.

¿Qué tipo de aserto introduce?

¬

&

v

slide56

Si x es un animal, entonces no se teme a sí mismo.

T

slide57

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.

slide58
Todo x (Si x es un animal, entonces no se teme a sí mismo).

Da lugar a:

Todo x (Six es un animal, entonces x no se teme a sí mismo).

¿Contiene esta última oración elementos no analizados?

Si

No

slide59
Todo x (Si x es un animal, entonces x no se teme a sí mismo).

x no se teme a sí mismo.

No es simple.

slide60
Identificación de la forma lógica de la premisa 3

(y 3)

x no se teme a sí mismo.

¿Qué tipo de aserto introduce?

¬

&

v

slide61
¬

x no se teme a sí mismo.

T

slide62
¬

x no se teme a sí mismo.

No es el caso que x tema a x.

slide63
Todo x (Si x es un animal, entonces x no se teme a sí mismo).

Da lugar a:

Todo x (Six es un animal, entonces xno teme a x).

¿Contiene esta última oración elementos no analizados?

Si

No

slide64
Identificación de la forma lógica de la conclusión

(y 1)

No hay en la selva ningún animal al que todo el mundo tema.

¿Qué tipo de aserto introduce?

¬

&

v

slide65
¬

No hay en la selva ningún animal al que todo el mundo tema.

T

slide66
¬

No hay en la selva ningún animal al que todo el mundo tema.

No es el caso que haya en la selva algún animal al que todo el mundo tema.

slide67
No hay en la selva ningún animal al que todo el mundo tema.

Da lugar a:

No existe ningún animal en la selva al que todo el mundo tema.

¿Contiene esta última oración elementos no analizados?

Si

No

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

No es simple.

slide69
Identificación de la forma lógica de la conclusión

(y 2)

Existe algún animal en la selva al que todo el mundo tema.

¿Qué tipo de aserto introduce?

¬

&

v

slide70

Existe algún animal en la selva al que todo el mundo tema.

T

slide71

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

slide72
No existe ningún animal en la selva al que todo el mundo tema.

Da lugar a:

No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).

¿Contiene esta última oración elementos no analizados?

Si

No

slide73
No (Hay algún x tal que (x sea un animal que vive en la selvaytodo el mundo le tema).

x es un animal que vive en la selva y todo el mundo le teme.

No es simple.

slide74
Identificación de la forma lógica de la conclusión

(y 3)

x es un animal que vive en la selva y todo el mundo le teme.

¿Qué tipo de aserto introduce?

¬

&

v

slide75
&

x es un animal que vive en la selva y todo el mundo le teme.

T

slide76
&

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.

slide77
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).

Da lugar a:

No (Hay algún x tal que ((x es un animal que vive en la selva) y todo el mundo le teme).

¿Contiene esta última oración elementos no analizados?

Si

No

slide78
No (Hay algún x tal que ((x es un animal que vive en la selva) y todo el mundo le teme).

x es un animal que vive en la selva.

Todo el mundo teme a x.

No son simples.

slide79
Identificación de la forma lógica de la conclusión

(y 4)

x es un animal que vive en la selva.

¿Qué tipo de aserto introduce?

¬

&

v

slide80
&

x es un animal que vive en la selva.

T

slide81
&

x es un animal que vive en la selva.

x es un animal y x vive en la selva.

slide82
No (Hay algún x tal que (x sea un animal que vive en la selva y todo el mundo le tema).

Da lugar a:

No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).

¿Contiene esta última oración elementos no analizados?

Si

No

slide83
No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).

Todo el mundo teme a x.

No es simple.

slide84
Identificación de la forma lógica de la conclusión

(y 5)

Todo el mundo teme a x.

¿Qué tipo de aserto introduce?

¬

&

v

slide85

Todo el mundo teme a x.

T

slide86

Todo el mundo teme a x.

Para todo individuo z, z teme a x.

slide87
No (Hay algún x tal que ((x es un animal y vive en la selva) y todo el mundo le teme).

Da lugar a:

No (Hay algún x tal que ((x es un animal y vive en la selva) yTodo individuo z (z teme a x).

¿Contiene esta última oración elementos no analizados?

Si

No

slide88
Forma lógica del 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.

Da lugar a:

slide89
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).

Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo).

Todo x (Six es un animal, entonces xno teme a x).

Por tanto,

No (Hay algún x tal que ((x es un animal y vive en la selva) yTodo individuo z (z teme a x).

slide90
ETAPA III

Construcción del Glosario

slide91
Identificación de las relaciones n-arias presentes en el argumento

Relaciones unarias (propiedades)

(y 1)

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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) yTodo individuo z (z teme a x).

slide92
Identificación de las relaciones n-arias presentes en el argumento

Relaciones unarias (propiedades)

(y 1)

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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animal y vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) es un animal.

slide93
Identificación de las relaciones n-arias presentes en el argumento

Relaciones unarias (propiedades)

(y 1)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animaly vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) es un animal.

slide94
Identificación de las relaciones n-arias presentes en el argumento

Relaciones unarias (propiedades)

(y 2)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animaly vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) vive en la selva.

slide95
Identificación de las relaciones n-arias presentes en el argumento

Relaciones unarias (propiedades)

(y 2)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animalyx vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) vive en la selva.

slide96
Identificación de las relaciones n-arias presentes en el argumento

Relaciones binarias

(y 1)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animalyx vive en la selva) yTodo individuo z (z teme a x).

slide97
Identificación de las relaciones n-arias presentes en el argumento

Relaciones binarias

(y 1)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx se teme a sí mismo). Todo x (Six es un animal, entonces xno teme a x). Por tanto, No (Hay algún x tal que ((x es un animalyx vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) teme a y (x,z...).

slide98
Identificación de las relaciones n-arias presentes en el argumento

Relaciones binarias

(y 1)

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx teme a x). Todo x (Six es un animal, entonces xnoteme a x). Por tanto, No (Hay algún x tal que ((x es un animalyx vive en la selva) yTodo individuo z (z teme a x).

x (y,z...) teme a y (x,z...).

slide101
Asignación de letras relacionales apropiadas

x es un animal: Ax

x vive en la selva: Sx

slide102
Asignación de letras relacionales apropiadas

x es un animal: Ax

x vive en la selva: Sx

x teme a y: Txy

slide103
ETAPA IV

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

slide104
Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes

Todox es tal que (((Sixes un animaly 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).Todo x es tal que (SiHay al menos un individuo z tal que (x teme a z), entoncesx teme a x). Todo x (Six es un animal, entonces xnoteme a x). Por tanto, No (Hay algún x tal que ((x es un animalyx vive en la selva) yTodo individuo z (z teme a x).

slide105
Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes

Todox es tal que (((Si....y ....) y Todo individuo z es tal que (....), entoncesHay al menos un individuo w tal que (....).Todo x es tal que (SiHay al menos un individuo z tal que (....), entonces....). Todo x (Si...., entoncesno....). Por tanto, No (Hay algún x tal que ((....y....) yTodo individuo z (....).

slide106
Substitución de las relaciones n-arias presentes por las letras relacionales correspondientes

Todox es tal que (((SiAx y Sx) y Todo individuo z es tal que (Txz), entoncesHay al menos un individuo w tal que (Twx).Todo x es tal que (SiHay al menos un individuo z tal que (Txz), entonces Txx). Todo x (Si Ax, entoncesno Txx). Por tanto, No (Hay algún x tal que ((Ax ySx) yTodo individuo z (Txz).

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

Conectivas

Todox es tal que (((SiAx y Sx) y Todo individuo z es tal que (Txz), entoncesHay al menos un individuo w tal que (Twx).Todo x es tal que (SiHay al menos un individuo z tal que (Txz), entonces Txx). Todo x (Si Ax, entoncesno Txx). Por tanto, No (Hay algún x tal que ((Ax ySx) yTodo individuo z (Txz).

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

Conectivas

Todox 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).

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

Cuantores

Todox 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).

slide110
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).

slide111
Traducción

Resultado final

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.

Da lugar a:

x(((Ax&Sx)&z(Txz))w(Twx)).x(z(Txz)Txx).x (Ax ¬Txx).

Por tanto,

¬(x((Ax&Sx)&z(Txz).