Supondo que a proposição lógica 𝑃⇒𝑄 (𝑃 implica 𝑄) tenha valor-verdade VERDADEIRO, é correto afirmar que:
P é VERDADEIRO.
Não se tem, ao mesmo tempo, P VERDADEIRO e Q FALSO.
Não se tem, ao mesmo tempo, P e Q com valor verdade FALSO.
Q não é FALSO.
