Além dessas interessantes relações entre contradição, tautologia e implicação lógica, apresenta-se agora outra relação:

Esta é relação mais importante entre o conceito de tautologia e implicação lógica.

Retornando ao primeiro exemplo de implicação lógica deste módulo, lembre que confirmamos a implicação p ∧ q ⇒ p ↔ q comparando as respectivas tabelas verdades. Relembre abaixo:

Aproveitando-se desta importante relação, aprenderemos agora que podemos substituir o sinal de implicação “⇒” por uma operação de condicional “→” e formar a nova proposição (p ∧ q) → (p ↔ q), cuja tabela verdade deverá ser uma tautologia para confirmar a existência de implicação lógica. Vejamos a seguir:

Confirmada a tautologia ao substituir ⇒ por → , comprova-se então a implicação lógica p ∧ q ⇒ p ↔ q.