2 - Tautologias e Contradições no conceito de Implicação Lógica

Diz-se que uma proposição P implica em outra proposição Q se não ocorrer simultaneamente os valores V e F nas respectivas colunas de resultado.

Ora, caso as proposição P e Q sejam ambas tautologias, teremos o valor V em todas as linhas de ambos os resultados, eliminado a possibilidade de ocorrer a combinação V e F simultaneamente.

Veja a seguir um exemplo da verificação da implicação de P ⇒ Q, sendo P: p ∨ ~(p∧q) e Q: p∧q → (p ↔ q), ou seja:

Verificar se

(p ∨ ~(p∧q)) ⇒ (p∧q → (p ↔ q))