Assim, para verificar a implicação lógica entre as proposições abaixo, constrói-se a tabela verdade de ambas para a comparação do resultado final. Veja um exemplo a seguir.

Verificar a implicação lógica entre:

P: p ∧ q

Q: p ↔ q

1º) Tabela verdade de P: p ∧ q

	p	q	p ∧ q
Linha 1.	V	V	V
Linha 2.	V	F	F
Linha 3.	F	V	F
Linha 4.	F	F	F

2º) Tabela verdade de Q: p ↔ q

	p	q	p ↔ q
Linha 1.	V	V	V
Linha 2.	V	F	F
Linha 3.	F	V	F
Linha 4.	F	F	V