///
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