Usuario:JULIAN.D.OR/ejercicio8

Determinar si es correcta la deduccion a partir de las premisas dadas.

Solo las buenas personas ayudan a los pobres

Ninguna buena persona es aficionada a la fotografia

Antonio ayuda a Juan

Antonio es aficionado a la fotografia

- Es posible concluir que Juan es pobre

Ahora traduciremos las oraciones a lenguaje lógico

A( x , y ) x ayuda a y

B( x ) x es bueno

P( y ) y es pobre

Af( x ) x es aficionado a la fotografia

Af( a ) Antonio es aficionado a la fotografia

A( a , j ) Antonio ayuda a Juan

Entonces tenemos que las premisas son :

${\mathrm{\forall }}_x$ ( ( A( x , y ) $\wedge$ P( y ) ) $\Rightarrow$ B( x ) )

${\mathrm{\forall }}_x$ ( Af( x ) $\Rightarrow$ $\mathrm{\neg }$ B( x ) )

A ( a , j )

Af( a )

___________________________________

P( j )

Ahora procederemos a hacer la deduccion

1. ${\mathrm{\forall }}_x$ ( Af( x ) $\Rightarrow$ $\mathrm{\neg }$ B( x ) ) premisa

2.Af( a ) premisa

3. Af( a ) $\Rightarrow$ $\mathrm{\neg }$ B( a ) $S_a^x$ particularizacion del universal 1.

4.$\mathrm{\neg }$ B( a ) Modus Ponens 2. y 3.

5.${\mathrm{\forall }}_x$ ( ( A( x , y ) $\wedge$ P( y ) ) $\Rightarrow$ B( x ) ) premisa

6.( ( A( a , y ) $\wedge$ P( y ) ) $\Rightarrow$ B( a ) ) $S_a^x$ particularizacion del universal 5.

7. ( A( a , j ) $\wedge$ P( j ) ) $\Rightarrow$ B( a ) $S_j^y$ particularizacion y por j

8.$\mathrm{\neg }$ ( ( A( a , j ) $\wedge$ P( j ) ) Modus tollens 4. y 7.

9.$\mathrm{\neg }$A( a , j ) $\vee$ $\mathrm{\neg }$P( j ) ley de De morgan

10.A( a , j ) prenmisa

11.A( a , j ) $\Rightarrow$ $\mathrm{\neg }$P( j ) eliminacion o introduccion del condicional P $\Rightarrow$ Q $\equiv$ $\mathrm{\neg }$P $\vee$ Q

12.$\mathrm{\neg }$P( j ) Modus Ponens 10. y 11.

llegamos a una contradiccion por lo tanto deducimos que Juan no es pobre