Usuario:JULIAN.D.OR/ejercicio20

De Wikilibros, la colección de libros de texto de contenido libre.

Utilice las leyes de la tabla 2.4 y la logica de proposiciones para

a) demostrar que P( x ) ( P( y ) Q( y ) ) P( x )


b) demostrar la validez de ( ( P( y ) Q( y ) ) R( x ) ) ( P( y ) Q( y ) R( x ) ).





a) P( x ) ( P( y ) Q( y ) ) P( x ) ( P( y ) Q( y ) ) Principio universal de identidad

                           P( x ) Ley de simplificacion
                           ( P( x ) ) doble negacion
                            P( x ) negacion del universal




b) ( ( P( y ) Q( y ) ) R( x ) ) ( ( P( y ) Q( y ) ) R( x ) ) Negacion del existencial

                               ( ( P( y ) Q( y ) )  R( x ) )  Eliminacion de la implicacion


                               ( ( P( y ) Q( y ) )  R( x ) ) negaciion del existencial
                               ( P( y )  Q( y )  R( x ) ) leyes de De morgan