incorrecto correcto incorrecto correcto traducciÓn ejercicio nº3

Incorrecto

Correcto

Incorrecto

Correcto

TRADUCCIÓN

Ejercicio nº3

Argumento:

Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.

ETAPA I

Identificación de premisas y conclusión

Premisa 1:

Todo el que practica un deporte, practica un deporte violento.

Conclusión:

Todo el mundo practica algún deporte violento

Premisa 2:

Todo el mundo practica algún deporte

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)

¿Qué tipo de aserto introduce?

Todo el que practica un deporte, practica un deporte violento.

¬ & v

T

Todo el que practica un deporte, practica un deporte violento.

Para todo individuo x sucede que (si x practica un deporte, entonces x es practica un deporte violento)

Todo el que practica un deporte, practica un deporte violento.

Da lugar a

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

SiSi No

Todo el que practica un deporte, practica un deporte violento.

Para todo individuo x sucede que (si x practica un deporte, entonces x es practica un deporte violento)

Si x practica un deporte, entonces x practica un deporte violento

No es simple

Para todo individuo x sucede que (si x practica un deporte, entonces x practica un deporte violento)

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

(y 2)

Si x practica un deporte, entonces x practica un deporte violento

¿Qué tipo de aserto introduce?

¬ & v

Si x practica un deporte, entonces x practica un deporte violento.

TT

Es suficiente que (x practique un deporte) para que (x practique un deporte violento)

Si x practica un deporte, entonces x practica un deporte violento.

Da lugar a

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

SiSi No

Para todo individuo x sucede que (si x practica un deporte, entonces x practica un deporte violento)

Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento))

x practica un deporte violento

No son simples

Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento))

x practica un deporte, y

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

(y 3)

¿Qué tipo de aserto introduce?

¬ & v

x practica un deporte

x practica un deporte

T

Hay al menos una entidad y tal que (y es un deporte que x practica)

x practica un deporte

Para todo individuo x sucede que (es suficiente con que (x practique un deporte), para que (x practique un deporte violento))

da lugar a

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento))

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

SiSi No

x practica un deporte violento

No son simples

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento))

y es un deporte que x practica

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

(y 4)

y es un deporte que x practica

¿Qué tipo de aserto introduce?

¬ & v

&

y es un deporte y x practica y

y es un deporte que x practica

da lugar a

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

SiSi No

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte que x practica)), para que (x practique un deporte violento))

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento))

x practica un deporte violento

No es simple

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento))

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

(y 4)

x practica un deporte violento

Se trata como en el caso precedente

x practica un deporte violento

T

x practica un deporte violento

Hay al menos una entidad z tal que (z es un deporte y z es violento y x practica z)

da lugar a

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

SiSi No

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (x practique un deporte violento))

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z))

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

(y 1)

Todo el mundo practica algún deporte

¿Qué tipo de aserto introduce?

¬ & v

Todo el mundo practica algún deporte

T

Todo el mundo practica algún deporte

Para todo individuo x sucede que (x practica algún deporte)

Da lugar a

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

SiSi No

Todo el mundo practica algún deporte

Para todo individuo x sucede que (x practica algún deporte)

No es simple

Para todo individuo x sucede que ( x practica algún deporte)

x practica algún deporte

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

(y 2)

¿Qué tipo de aserto introduce?

¬ & v

x practica algún deporte

x practica algún deporte

T

x practica algún deporte

Hay alguna entidad y tal que (y es un deporte que x practica)

Da lugar a

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

SiSi No

Para todo individuo x sucede que (x practica algún deporte)

Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica ))

No es simple

y es un deporte que x practica

Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica ))

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

(y 3)

¿Qué tipo de aserto introduce?

¬ & v

y es un deporte que x practica

&

(y es un deporte) y (x practica y)

y es un deporte que x practica

Da lugar a

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

SiSi No

Para todo individuo x sucede que (hay una entidad y tal que (y es un deporte que x practica ))

Para todo individuo x sucede que (hay una entidad y tal que ((y es un deporte) y (x practica y))

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

(y 1)

Se trata igual que la premisa 2

Todo el mundo practica algún deporte violento

Todo el mundo practica algún deporte violento

T

Todo el mundo practica algún deporte violento

Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y))

Da lugar a

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

SiSi No

Todo el mundo practica algún deporte violento

Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y))

Forma lógica del argumento

da lugar a

Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.

Por tanto,

Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y))

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)).

Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y))

ETAPA IIIConstrucción del Glosario

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

Relaciones unarias (propiedades)

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

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

Relaciones unarias (propiedades)

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

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

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

Relaciones unarias (propiedades)

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

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

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

Relaciones unarias (propiedades)

(y 2)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

x (y,z...) es (una actividad) violenta

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

Relaciones unarias (propiedades)

(y 2)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

x (y,z...) es (una actividad) violenta

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

Relaciones binarias

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

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

Relaciones binarias

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

x (y,z...) practica y (x,z...)

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

Relaciones binarias

(y 1)

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

x (y,z...) practica y (x,z...)

Asignación de letras relacionales apropiadas

x es un deporte: Dx

Asignación de letras relacionales apropiadas

x es un deporte: Dx

x es (una actividad) violenta: Vx

Asignación de letras relacionales apropiadas

x es un deporte: Dx

x es (una actividad) violenta: Vx

x practica y: Pxy

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

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (y es un deporte y x practica y)), para que (haya al menos una entidad z tal que (z es un deporte y z es violento y x practica z)). Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte y x practica y)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (y es un deporte e y es violento y x practica y)).

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

correspondientes

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que (..... y .....)), para que (haya al menos una entidad z tal que (..... y ..... y .....)). Para todo individuo x sucede que (hay alguna entidad y tal que (..... y .....)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que (..... y ..... y .....)).

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

correspondientes

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que ( Dy y Pxy)), para que (haya al menos una entidad z tal que ((Dz y Vz)y Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy y Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy y Vy) y Pxy)).

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que ( Dy y Pxy)), para que (haya al menos una entidad z tal que ((Dz y Vz)y Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy y Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy y Vy) y Pxy)).

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

correspondientes

Conectivas

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

correspondientes

Conectivas

Para todo individuo x sucede que (es suficiente con que (haya al menos una entidad y tal que ( Dy y Pxy)), para que (haya al menos una entidad z tal que ((Dz y Vz) y Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy y Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy y Vy) y Pxy)).

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

correspondientes

Conectivas

Para todo individuo x sucede que ((hay al menos una entidad y tal que ( Dy & Pxy)) (hay al menos una entidad z tal que ((Dz &Vz) & Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy & Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy & Vy) & Pxy)).

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

correspondientes

Cuantores

Para todo individuo x sucede que ((hay al menos una entidad y tal que ( Dy & Pxy)) (hay al menos una entidad z tal que ((Dz &Vz) & Pxz)). Para todo individuo x sucede que (hay alguna entidad y tal que (Dy & Pxy)). Por tanto, Para todo individuo x sucede que (hay alguna entidad y tal que ((Dy & Vy) & Pxy)).

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

correspondientes

Cuantores

x(y ( Dy & Pxy) z ((Dz &Vz) & Pxz)). x(y (Dy & Pxy)). Por tanto, x(y ((Dy & Vy) & Pxy)).

Traducción

Resultado final

da lugar a

Todo el que practica un deporte, practica un deporte violento. Todo el mundo practica algún deporte. Por tanto, todo el mundo practica algún deporte violento.

x[y ( Dy & Pxy) z ((Dz &Vz) & Pxz)]

x(y (Dy & Pxy))

Por tanto,

x(y ((Dy & Vy) & Pxy)).