Assinale a opção que corresponde a uma contradição lógica.
[(p∨q)→r]↔[p→(∼q∧∼r)]
[p∧(q→r)]→(p∨∼r)
(p→q)→ ∼(q→r)
[(p ∧ q)→∼r]→(p ∧ q ∧∼r)
(p ∧ q→r) ↔ (p ∧ q ∧ ∼r)