incorrecto. traducciÓn ejercicio nº8 argumento: cualquier guerrero yanomamo es agresivo con sus...
Post on 24-Jan-2016
219 Views
Preview:
TRANSCRIPT
Incorrecto
TRADUCCIÓN
Ejercicio nº8
Argumento:
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa. Todos los yanomamo son guerreros. Por lo tanto, cualquier yanomamo que esté casado es agresivo con sus vecinos.
ETAPA I
Identificación de premisas y conclusión
Premisa 1:
Cualquier yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Premisa 2:
Todos los yanomamo son guerreros.
Conclusión:
Cualquier yanomamo que esté casado es agresivo con sus vecinos.
ETAPA IIIdentificación de la forma lógica de premisas y
conclusión
Identificación de la forma lógica de la premisa 1
(y 1)
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
¿Qué tipo de aserto introduce?
¬ & v
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
T
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Para todo individuo x sucede que (Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello consigue al menos una esposa).
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Todo individuo x es tal que (Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
No es simple.
Todo individuo x es tal que (Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Identificación de la forma lógica de la premisa 1
(y 2)
Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
¿Qué tipo de aserto introduce?
¬ & v
Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
&
T
&
x es un guerrero yanomamo y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (Si x es un guerrero yanomamo, entonces es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Todo individuo x es tal que (x es un guerrero yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
x es un guerrero yanomamo.
Es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
No son simples.
Todo individuo x es tal que (x es un guerrero yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Identificación de la forma lógica de la premisa 1
(y 3)
x es un guerrero yanomamo.
¿Qué tipo de aserto introduce?
¬ & v
x es un guerrero yanomamo.
&
T
&
x es un guerrero y x es yanomamo.
x es un guerrero yanomamo.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (x es un guerrero yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
x es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
No es simple.
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Identificación de la forma lógica de la premisa 1
(y 4)
x es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
¿Qué tipo de aserto introduce?
¬ & v
x es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
T
Basta con que x sea agresivo para que obtenga al menos una esposa.
x es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa).
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces obtiene al menos una esposa)).
Obtiene al menos una esposa.
No es simple.
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces obtiene al menos una esposa)).
Identificación de la forma lógica de la premisa 1
(y 5)
Obtiene al menos una esposa.
¿Qué tipo de aserto introduce?
¬ & v
Obtiene al menos una esposa.
T
Hay al menos un z tal que x se casa con z.
Obtiene al menos una esposa.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces obtiene al menos una esposa)).
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)).
Identificación de la forma lógica de la premisa 2
(y 1)
Todos los yanomamo son guerreros.
¿Qué tipo de aserto introduce?
¬ & v
Todos los yanomamo son guerreros.
T
Para todo individuo x (Si x es yanomamo, entonces x es guerrero).
Todos los yanomamo son guerreros.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todos los yanomamo son guerreros.
Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero).
Si x es yanomamo, entonces x es guerrero.
No es simple.
Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero).
Identificación de la forma lógica de la premisa 2
(y 2)
Si x es yanomamo, entonces x es guerrero.
¿Qué tipo de aserto introduce?
¬ & v
Si x es yanomamo, entonces x es guerrero.
T
Basta con que x sea yanomamo, para que x sea guerrero.
Si x es yanomamo, entonces x es guerrero.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero).
Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero).
Identificación de la forma lógica de la conclusión
(y 1)
¿Qué tipo de aserto introduce?
¬ & v
Cualquier yanomamo que esté casado es agresivo con sus vecinos.
Cualquier yanomamo que esté casado es agresivo con sus vecinos.
T
Para todo individuo x (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
Cualquier yanomamo que esté casado es agresivo con sus vecinos.
Cualquier yanomamo que esté casado es agresivo con sus vecinos.
Da lugar a:
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
¿Contiene esta última oración elementos no analizados?
SiSi No
Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos.
No es simple.
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
Identificación de la forma lógica de la conclusión
(y 2)
¿Qué tipo de aserto introduce?
¬ & v
Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos.
T
Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos.
Basta con que x sea un yanomamo que esté casado, para que x sea agresivo con sus vecinos.
Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos.
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
Da lugar a:
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
¿Contiene esta última oración elementos no analizados?
SiSi No
x es un yanomamo que está casado.
No es simple.
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
Identificación de la forma lógica de la conclusión
(y 3)
x es un yanomamo que está casado.
¿Qué tipo de aserto introduce?
¬ & v
&
T
x es un yanomamo que está casado.
&
x es yanomamo y x está casado.
x es un yanomamo que está casado.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (Si x es un yanomamo que esté casado, entonces x es agresivo con sus vecinos).
Todo individuo x es tal que (Si (x es yanomamo y x está casado), entonces x es agresivo con sus vecinos).
x está casado.
No es simple.
Todo individuo x es tal que (Si (x es yanomamo y x está casado), entonces x es agresivo con sus vecinos).
Identificación de la forma lógica de la conclusión
(y 4)
¿Qué tipo de aserto introduce?
¬ & v
x está casado.
x está casado.
T
Hay al menos un individuo z tal que (x está casado con z).
x está casado.
Da lugar a:
¿Contiene esta última oración elementos no analizados?
SiSi No
Todo individuo x es tal que (Si (x es yanomamo y x está casado), entonces x es agresivo con sus vecinos).
Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa. Todos los yanomamo son guerreros. Por lo tanto, cualquier yanomamo que esté casado es agresivo con sus vecinos.
Da lugar a:
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)).
Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero).
Por tanto,
Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
ETAPA IIIConstrucción del Glosario
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es yanomamo.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias (propiedades)
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es yanomamo.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias
(y 2)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es guerrero.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias
(y 2)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es guerrero.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias
(y 3)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es agresivo con sus vecinos.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones unarias
(y 2)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y,z,...) es agresivo con sus vecinos.
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x (y, z,...) está casado con (z, w,...).
Identificación de las relaciones n-arias presentes en el argumento
Relaciones binarias
(y 1)
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
x, (y, z,...) está casado con (z, w,...).
Asignación de letras relacionales apropiadas
Asignación de letras relacionales apropiadas
x es yanomamo: Yx
Asignación de letras relacionales apropiadas
x es yanomamo: Yxx es guerrero: Gx
Asignación de letras relacionales apropiadas
x es yanomamo: Yxx es guerrero: Gxx agresivo con sus vecinos: Ax
Asignación de letras relacionales apropiadas
x es yanomamo: Yxx es guerrero: Gxx agresivo con sus vecinos: Axx está casado con y: Cxy
ETAPA IV
Traducción a lenguaje de la Lógica de Primer Orden (LPO)
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
Todo individuo x es tal que (x es un guerrero y x es yanomamo, y (Si x es agresivo con sus vecinos, entonces Hay al menos un z tal que (x se casa con z)). Todo individuo x es tal que (Si x es yanomamo, entonces x es guerrero). Por tanto, Todo individuo x es tal que (Si (x es yanomamo y Hay al menos un individuo z tal que (x está casado con z), entonces x es agresivo con sus vecinos).
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
Todo individuo x es tal que (.... y ...., y (Si ...., entonces Hay al menos un z tal que (....)). Todo individuo x es tal que (Si ...., entonces ....). Por tanto, Todo individuo x es tal que (Si (.... y Hay al menos un individuo z tal que (....), entonces ....).
Substitución de las relaciones n-arias presentes por las letras relacionales
correspondientes
Todo individuo x es tal que (Gx y Yx, y (Si Ax, entonces Hay al menos un z tal que (Cxz)). Todo individuo x es tal que (Si Yx, entonces Gx). Por tanto, Todo individuo x es tal que (Si (Yx y Hay al menos un individuo z tal que (Cxz), entonces Ax).
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Conectivas
Todo individuo x es tal que (Gx y Yx, y (Si Ax, entonces Hay al menos un z tal que (Cxz)). Todo individuo x es tal que (Si Yx, entonces Gx). Por tanto, Todo individuo x es tal que (Si (Yx y Hay al menos un individuo z tal que (Cxz), entonces Ax).
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Conectivas
Todo individuo x es tal que (Gx&Yx&(Ax Hay al menos un z tal que (Cxz)).
Todo individuo x es tal que (Yx Gx).
Por tanto,
Todo individuo x es tal que ((Yx&Hay al menos un individuo z tal que (Cxz) Ax).
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Cuantores
Todo individuo x es tal que (Gx&Yx&(Ax Hay al menos un z tal que (Cxz)).
Todo individuo x es tal que (Yx Gx).
Por tanto,
Todo individuo x es tal que ((Yx&Hay al menos un individuo z tal que (Cxz) Ax).
Substitución de las constantes lógicas presentes por los símbolos
correspondientes
Cuantores
x (Gx&Yx&(Ax z (Cxz)).
x (Yx Gx).
Por tanto,
x ((Yx& z (Cxz) Ax).
Traducción
Resultado final
Cualquier guerrero yanomamo es agresivo con sus vecinos si gracias a ello obtiene al menos una esposa. Todos los yanomamo son guerreros. Por lo tanto, cualquier yanomamo que esté casado es agresivo con sus vecinos.
Da lugar a :
x (Gx&Yx&(Ax z (Cxz)). x (Yx Gx). Por tanto, x ((Yx& z (Cxz) Ax).
top related