O método dedutivo é demonstrado abaixo, apenas para efeito ilustrativo, por enquanto, pois mais à frente será explicado em detalhes:

Bem, vamos entender o quadro acima:

Partiu-se de uma proposição (p → (p → r)) e obteve-se a outra (~p ∨ r) via método dedutivo, comprovando assim a equivalência lógica:

p → (p → r) ⇔ ~p ∨ r

Veja abaixo como seria mais trabalhosa e arriscada a comprovação pelo método da tabela verdade:

Note que o método dedutivo pode ser mais rápido que o método da tabela verdade.

Para a aplicação do método dedutivo, é necessário domínio sobre as regras listadas a seguir, que são equivalências importantes da álgebra das proposições. Clique aqui para fazer o download de todas as regras denominadas equivalências notáveis.