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: