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

2º) Tabela verdade de Q: p ↔ q