Julgue o item a seguir, considerando que as proposições lógicas
simples sejam representadas por letras maiúsculas e utilizem
como conectivos lógicos os símbolos ˄ (conjunção),
˅ (disjunção), ⇒ (condicional) e ⇔ (bicondicional).
A expressão (Q˄(P ⇒ Q)) ⇒ P˅Q é uma tautologia.