Resumo

Quanto maior a proposição, mais complexo será o processo de resolução via tabela verdade, potencializando assim as dificuldades quanto à aplicação das regras das operações lógicas e da ordem de precedência.

Desta forma, o chamado método dedutivo pode ser mais rápido que o método da tabela verdade.

O método dedutivo é um método algébrico, que, de forma similar à matemática convencional, possui propriedades e regras que aplicamos à proposição para obter nova proposição, equivalente logicamente à proposição original.

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

Clique aqui para fazer o download das regras