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 (( eg P) igwedge R) igvee (P igvee Q) é uma tautologia.