Questão 3207104

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: