Acerca de operações que contêm conjuntos e tautologia, julgue os itens subsequentes.
Considerando as proposições P, Q e R e os símbolos lógicos: ¬ (negação); (ou); (e); (se ..., então), é correto afirmar que a proposição ¬((¬P) R) (P(¬Q)) é uma tautologia.