Usuario:JULIAN.D.OR/ejercicio9

Considere las premisas siguientes:

M( x )

( M( x ) C( x , y ) )

( ( C( x , y ) F( x ) ) )

Dar una derivacion formal que demuestre que estas premisas llevan a la conclusion consistente en que debe existir un y, tal que F( y ) sea verdadero. Enuncie las reglas de inferencia utilizadas en la derivacion.



derivacion:


1.M( x ) premisa

2.( M( x ) C( x , y ) ) premisa

3.M( a ) en 1.

4. M( a ) C( a , y ) en 2.

5.C( a , y ) Modus Ponens 3. y 4.

6.( ( C( x , y ) F( x ) ) ) premisa

7.( C( a , y ) F( a ) ) en 6.

8.F( a ) Modus Ponens 5. y 7.

9.F( y ) Generalizacion del existencial