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.
Dessa forma, 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: