A proposição ~(p v q) → ~(p ^ q) trata-se de uma: (A) Contradição. (B) Bicondicional. (C) Contingência. (D) Disjunção. (E) Tautologia.

Vamos analisar a proposição dada: ~(p v q) → ~(p ^ q). Para determinar o tipo da proposição, podemos simplificar a expressão: 1. ~(p v q) é equivalente a (~p ^ ~q) pela Lei de De Morgan. 2. ~(p ^ q) é equivalente a (~p v ~q) pela Lei de De Morgan. Substituindo na proposição original, obtemos: (~p ^ ~q) → (~p v ~q). Essa proposição é uma Tautologia, pois a implicação é sempre verdadeira, independentemente dos valores de p e q. Portanto, a resposta correta é: (E) Tautologia.