Sendo P e Q duas proposições lógicas, é correto afirmar que a proposição composta [(P-›Q)^P] -› Q é uma