Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas simples. Com base nessas informações, julgue os itens seguintes relativos à lógica proposicional.
A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.