Desafio: A Proposição é Tautologia, Contradição ou Contingência?

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

Efetue o Cálculo Proposicional e Responda se a Proposição 
p ^ q -> (p q) é uma Tautologia, Contradição ou Contingência, validando (comprovando) sua resposta.
P^Q -> (P<->Q)
P | Q | P ^ Q | P<->Q | P^Q -> (P<->Q) 
V | V | V | V | V 
V | F | F | F | V 
F | V | F | F | V 
F | F | F | V | V 
Logo por ser todos os valores lógicos V ( verdadeiro ), é uma tautologia.