Módulo 01 - Ordenamentos, o Direito e a Moral.

Vejamos então se P: p ∨ ~(p∧q) implica em Q: p∧q → (p ↔ q):

1º) Tabela verdade de P: p ∨ ~(p ∧ q)

2 º) Tabela verdade de Q: p ∧ q → (p ↔ q)

3º) Comparar os resultados das tabelas verdades de P e Q

Ao compararmos os resultados, podemos então afirmar que P implica em Q e também que Q implica em P.

Conclusão:

Pode-se afirmar:
p ∨ ~(p ∧ q) ⇒ p ∧ q → (p ↔ q)

Bem como:
p ∧ q → (p ↔ q) ⇒ p ∨ ~(p ∧ q)

Generalizando a análise, nota-se que sempre haverá implicação lógica entre as proposições tautológicas.