mostrar texto associado
A proposição [P V Q] → Q é uma tautologia.