Analise as afirmativas abaixo:

I - Tudo que não for TAUTOLOGIA nem CONTRADIÇÃO é uma divergência lógica.

II - proposição P(x, y, z)= x ∨ ~z→ y ∧ ~z é uma tautologia.

III - A proposição ((x ↔ y) → x) ∨ y) é uma contingência.

IV - A proposição (p ⇒ q) ∧ [p ∧ (~q)] é contradição

Assinale a alternativa correta: