Sobre o conhecimento sobre lógica proposicional, tautologia...
I - Tudo que não for TAUTOLOGIA nem CONTRADIÇÃO é uma divergência lógica.
II - A proposição ((m ↔ n) → m) ∨ n) é uma contingência.
III - A proposição P(a,b,c)= a ˅ ~c→ b ˄ ~c é uma tautologia.
Assinale a alternativa correta: