2 - Tautologias e Contradições no conceito de Equivalência Lógica

Considere as duas proposições compostas, P e Q, que são ambas tautologias:

P: p ∨ ~(p ∧ q)

Q: p ∧ q → (p ↔ q)

Ora, se os resultados das tabelas verdades de P e Q são iguais, podemos afirmar que são equivalentes logicamente. Dessa forma, generalizando, nota-se que as proposições tautológicas são também equivalentes entre si.

Conclusão:

Pode-se afirmar a equivalência p ∨ ~(p ∧ q) ⇔ p ∧ q → (p ↔ q)