Respuestas

2012-12-02T16:37:32+01:00

-[( p v q) ----> - q] <----->  ( - p ^ q )

 

el simbolo que le pusistes es el doble condicional, esto quiere decir que le valor de verdad de ambos lados debe ser el mismo para que la proposicion molecular sea verdaera o tautologica si no es asi pues sera lo otro

 

revisemos

 

en la parte derecha es la mas corta y vemos que en la unica que esverdera es cuando p=0  q=1

como dice -p=1 ---> por lo que las demas seran falsas asi que como es la unica es la que boy analizar

( p v q) ----> 0 v 1  = 1

[(1)--> - q] ---> 1-->0 = 0

-[( p v q) ----> - q] toda esta expresion interna es 0 pero con la negacion se hace 1

por lo tanto podemos hablar de una tautologia