Question

CONSTRUYE UNA TABLA DE VERDAD PARA CALIFICAR COMO TAUTOLOGÍA, CONTINGENCIA Ó FALACIA EL SIGUIENTE OMPUESTO LÓGICO

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

Answer 1

-[( 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