Imagine que você está em uma aula de Lógica Matemática, onde o professor está explicando as implicações lógicas entre proposições. Para ilustrar a importância de entender a relação entre proposições, ele apresenta o seguinte cenário:
"Se uma proposição P implica uma proposição Q, e sabe-se que Q é verdadeira, então ..."
Dentro desse contexto, qual resposta deve ser marcada como correta?
P é falsa.
P é verdadeira.
Nada pode ser concluído sobre P.
P é contraditória.