Considere os conectivos lógicos usuais e assuma que as letra...
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 o item seguinte relativo à lógica proposicional.
A proposição lógica (P ⇒ Q) ⇔ ((∿P) ˅ Q) é uma tautologia.