///
Sejam duas proposições lógicas simples: A e B, e a representação simbólica para a negação e os conectivos lógicos abaixo listadas: ~A negação de A
A ∧ B A e B
A ∨ B A ou B
A → B se A, então B
A ↔ B A se, e somente se, B
Considere as proposições enumeradas:
I. A ∧ ~A
II. (A ∧ B) ∨ ~ (A ∧ B)
III. (A → B) ↔ (~ B → ~A)
Uma tautologia é uma proposição lógica que pode apenas assumir valores-verdade verdadeiros (V), uma antinomia é a negação de uma tautologia, e, portanto, é uma proposição composta em que resulta apenas em valores lógicos falsos (F). Assinale a alternativa que corretamente classifica as proposições completas enumeradas nesses termos.