onsidere quaisquer A e B, com valores lógicos quaisquer. Assinale a alternativa CORRETA sobre a condicional A ⇒ (B ⇒ A): A) Será sempre uma bicond...

Vamos analisar cada alternativa: A) Será sempre uma bicondicional verdadeira. B) Será sempre uma bicondicional negativa. C) Será sempre uma tautologia. D) Será sempre uma negação lógica. A condicional A ⇒ (B ⇒ A) é uma tautologia, ou seja, é sempre verdadeira, independentemente dos valores lógicos de A e B. Portanto, a alternativa correta é: C) Será sempre uma tautologia.