Usuario:JULIAN.D.OR/ejercicio7

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

$\forall _{x}$( P $\vee$ Q( x ) ) $\equiv$ $\forall _{x}$$\forall _{y}$ ( Q( x ) $\vee$ R( y ) )

$\forall _{x}$( P $\vee$ Q( x ) )

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

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

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

$\equiv$ $\forall _{x}$$\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