Enunciados de questões e informações de concursos
operação lógica |
símbolo |
conjunção |
∧ |
disjunção |
∨ |
negação | \sim |
condicional |
\Rightarrow |
bicondicional |
\Leftrightarrow |
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 o item a seguir.
A proposição lógica (A⇒(B⇒C)) ⇔ ((A∧B)⇒C) é uma tautologia.