Resumo

Implicação Lógica - Uma proposição qualquer P implica logicamente em outra proposição Q quando, e somente quando, a proposição Q é verdade todas as vezes que P for verdade.

Ou seja: ao analisar as tabelas verdades de P e Q, não pode ocorrer V no resultado de P e F no resultado de Q, simultaneamente na mesma linha.

A notação de implicação lógica entre as proposições P e Q é a seguinte:

P ⇒ Q

Ou ainda:

P (p, q, r, ...) ⇒ Q (p, q, r, ...)

Assim, quando uma proposição implica na outra, escrevemos então:

P ⇒ Q

Por exemplo:

Verifique se P: p ∧ q ⇒ Q: p ↔ q