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: