///
| operação lógica | símbolo |
|---|---|
| conjunção | ∧ |
| disjunção | ∨ |
| negação | ~ |
| condicional | ⇒ |
| bicondicional | ⇔ |
Assumindo que as proposições lógicas simples são representadas por letras maiúsculas e que a tabela precedente relaciona os símbolos lógicos usuais às operações lógicas que eles representam, julgue os itens a seguir.
A proposição lógica (A⇒(B⇒C)) ⇔ ((A∧B)⇒C) é uma tautologia.