3º) Comparando-se os resultados das tabelas verdades de P e Q, tem-se:

Conclusão:

Analisando as colunas dos resultados das tabelas verdades, na linha em que P obteve o resultado V, simultaneamente a proposição Q obteve também V, conforme requisito da regra de implicação. Logo, afirma-se que P: p ∧ q implica em Q: p ↔ q

Uma forma de facilitar a comparação dos resultados é o uso compartilhado das colunas das proposições componentes. Veja a demonstração a seguir: