Em P → Q, se P é verdadeira, o que ocorre com Q? E se Q é falsa, o que ocorre com P?

Se P é verdadeira então Q deve ser verdadeira; se Q é falsa então P deve ser falsa.

Uma condicional P → Q, para ser verdadeira quando P é verdadeiro, exige Q verdadeiro; se Q é falso, a condicional só pode ser verdadeira se P for falso.

Exemplo:
Considere P = "o aquecedor está ligado" e Q = "a sala aquece".
- Se P é verdadeira, então para P → Q ser verdadeira precisamos de Q verdadeira.
- Se Q é falsa, então para P → Q ser verdadeira devemos ter P falsa.