Imagem de fundo

Sejam duas proposições lógicas simples: A e B, e a...

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.


A

I - Antinomia; II - Tautologia; III - Tautologia


B

I - Tautologia; II - Antinomia; III - Tautologia


C

I - Tautologia; II - Tautologia; III - Antinomia


D

I - Tautologia; II - Tautologia; III – Tautologia