Usuario:JULIAN.D.OR/ejercicio5

demostrar que ( $\forall _{x}$ B ) $\wedge$ A $\equiv$ $\forall _{x}$( B $\wedge$ A )

($\forall _{x}$ B ) $\wedge$ A $\equiv$ $\forall _{x}$ B $\wedge$ $\forall _{x}$ A -si x no esta libre en A

$\equiv$ $\forall _{x}$( B $\wedge$ A )

NOTA: REVISAR TABLA (2.4) DE EQUIVALENCIAS QUE IMPLICAN CUANTIFICADORES SECCION 2.4 PAG 88