Considerando os conectivos lógicos usuais e que as letras maiúsculas representem 3 proposições lógicas simples, julgue o item seguinte acerca da lógica proposicional.
A proposição P→(¬Q) ↔ (¬P) v (¬Q) é uma tautologia.
Questão: Considerando os conectivos lógicos usuais e que as letras ma...
visualize os detalhes da questão e sua resolução completa.