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
| p | q | p ∧ q | p ↔ q | |
| Linha 1. | V | V | V | V |
| Linha 2. | V | F | F | F |
| Linha 3. | F | V | F | F |
| Linha 4. | F | F | F | V |