680 likes | 818 Vues
Incorrecto. TRADUCCIÓN. Ejercicio nº6. Argumento :. El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales. ETAPA I Identificación de premisas y conclusión. Premisa 1:. El oro es un metal. Conclusión:. Los buscadores de oro son buscadores de metales.
E N D
TRADUCCIÓN Ejercicio nº6
Argumento: El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales.
ETAPA I Identificación de premisas y conclusión
Premisa 1: El oro es un metal. Conclusión: Los buscadores de oro son buscadores de metales.
ETAPA II Identificación de la forma lógica de premisas y conclusión
Identificación de la forma lógica de la premisa 1 (y 1) El oro es un metal. ¿Qué tipo de aserto introduce? ¬ & v
El oro es un metal. T
El oro es un metal. Para todox sucede que (Si x es oro, entonces x es un metal).
El oro es un metal. Da lugar a: Todo objeto x es tal que (Si x es oro entonces, x es un metal). ¿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). Si x es oro entonces, x es un metal. No es simple.
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
Si x es oro entonces, x es un metal. T
Si x es oro entonces, x es un metal Basta con que (x sea oro para que x sea un metal).
Todo objeto x es tal que (Si x es oro entonces, x es un metal). Da lugar a: Todo objeto x es tal que (Si x es oro entonces, x es un metal). ¿Contiene esta última oración elementos no analizados? Si No
Identificación de la forma lógica de la conclusión (y 1) Los buscadores de oro son buscadores de metales. ¿Qué tipo de aserto introduce? ¬ & v
Los buscadores de oro son buscadores de metales. T
Los buscadores de oro son buscadores de metales. 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. Da lugar a: Todo individuo x es tal que (Six es un buscador de oro entonces, x es un buscador de metales). ¿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). Si x es un buscador de oro entonces, x es un buscador de metales. No es simple.
Identificación de la forma lógica de la conclusión (y 2) Si x es un buscador de oro entonces, x es un buscador de metales. ¿Qué tipo de aserto introduce? ¬ & v
Si x es un buscador de oro entonces, x es un buscador de metales. T
Si x es un buscador de oro entonces, x es un buscador de metales. Basta con que x sea buscador de oro, para que x sea buscador de metales.
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
Todo individuo x es tal que (Si x es un buscador de oro entonces, x es un buscador de metales). x es un buscador de oro. x es un buscador de metales. No son simples.
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
x es un buscador de oro. T
x es un buscador de oro. Hay al menos un objeto z tal que (z es oro y x lo busca).
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 ( Hay al menos un objeto z tal que (z es oro y x lo busca)) entonces, (x es un buscador de metales)). ¿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)). z es oro y x lo busca. x es un buscador de metales. No son simples.
Identificación de la forma lógica de la conclusión (y 4) z es oro y x lo busca. ¿Qué tipo de aserto introduce? ¬ & v
& z es oro y x lo busca. T
& z es oro y x lo busca. z es oro y x lo busca.
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)). Da lugar a: Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro yx lo busca)) entonces, (x es un buscador de metales)). ¿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)). x es un buscador de metales. No es simple.
Identificación de la forma lógica de la conclusión (y 5) x es un buscador de metales. ¿Qué tipo de aserto introduce? ¬ & v
x es un buscador de metales. T
x es un buscador de metales. Hay al menos un objeto w tal que w es un metal y x lo busca.
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)). Da lugar a: Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro yx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). ¿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)). w es un metal y x lo busca. No es simple.
Identificación de la forma lógica de la conclusión (y 6) w es un metal y x lo busca. ¿Qué tipo de aserto introduce? ¬ & v
& w es un metal y x lo busca. T
& w es un metal y x lo busca. w es un metal y x lo busca.
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)). Da lugar a: Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oro yx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). ¿Contiene esta última oración elementos no analizados? Si No
El oro es un metal. En consecuencia, los buscadores de oro son buscadores de metales. Da lugar a:
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 yx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).
ETAPA III Construcción del Glosario
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 yx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)).
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 yx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es oro.
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 oroentonces, x es un metal). Por tanto, Todo individuo x es tal que (Si ( Hay al menos un objeto z tal que (z es oroyx lo busca)) entonces, (Hay al menos un objeto w tal que (w es un metal y x lo busca)). x (y,z,...) es oro.