Supondo que a proposição lógica P?Q (P implica Q) tenha valor-verdade VERDADEIRO, é correto afirmar que: