Questão de Proposições Lógicas — IBFC · 2021

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: 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.