Usuario:JULIAN.D.OR/ejercicio7

SEA P QUE DENOTA ${\mathrm{\forall }}_y$R( y ). UTILICE LAS REGLAS DE LA TABLA 2.4 PARA MOSTRAR QUE

${\mathrm{\forall }}_x$( P $\vee$ Q( x ) ) $\equiv$ ${\mathrm{\forall }}_x$${\mathrm{\forall }}_y$ ( Q( x ) $\vee$ R( y ) )

${\mathrm{\forall }}_x$( P $\vee$ Q( x ) )

$\equiv$ ${\mathrm{\forall }}_x$P $\vee$ ${\mathrm{\forall }}_x$ Q( x ) si x no esta libre en P

$\equiv$ P $\vee$ ${\mathrm{\forall }}_x$ Q( x ) si x no esta libre en P

$\equiv$ ${\mathrm{\forall }}_y$R( y ) $\vee$ ${\mathrm{\forall }}_x$ Q( x ) se remplasa P

$\equiv$ ${\mathrm{\forall }}_x$${\mathrm{\forall }}_y$ ( Q( x ) $\vee$ R( y ) )

NOTA; TODAS ESTAS LEYES SE MUESTRAN Y SE DEMUESTRAN EN EL LIBRO PAG 88 TABLA 2.4 Y PAG 89 REVISARLAS