Usuario:JULIAN.D.OR/ejercicio3

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Supongamos que C( x , y ) se denota que x es hijo de y , y supongamos que P( y , x ) denota que y es uno de los progenitores de x. Entonces se tiene que:

(C( x , y )P( y , x ))

Dar una derivacion para demostrar que si Pedro es hijo de Juana, entonces Juana tiene que ser uno de los progenitores de Pedro.

Se pueden utilizar variables verdaderas en las premisas como que Pedro es p, y ,Juana j ,entonces se tiene que:



(C( x , y )P( y , x ))

C( p , j )

_____________________________

P( j , p )




1.(C( x , y )P( y , x )) premisa


2.C( p , j ) premisa


3.C( p , j )P( j , p ) particularizacion del universal 1.


4.P( j , p ) modus ponens 2. , 3.


Por lo tanto Juana es uno de lo progenitores de Pedro