1 - Implicação lógica pelo método da tabela verdade

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: