1 - O “segredo” da resolução de tabelas verdades com mais de uma operação lógica

Com o domínio da ordem de precedência, torna-se ilimitada a resolução de tabelas verdades na interpretação de proposições compostas.

Assim, qualquer proposição poderá ter suas possibilidades de valores lógicos exploradas, chegando-se ao resultado final por meio da última coluna da tabela verdade.

Veja abaixo o trecho de um pensamento de autor não localizado, que interpretaremos por meio da lógica das proposições, mais especificamente, por meio do método de tabela verdade:

Acompanhe a construção da referida tabela verdade na sequência.

Ordem de precedência

É a hierarquia para a resolução das operações lógicas. A ordem de resolução é a seguinte:

~
∧, ∨ (na ordem que aparecem na proposição)
→
↔

Quando aparece uma ∨, se não houver parênteses definindo a ordem de resolução, basta substituir a proposição p∨q por (~p∧q)∨(p∧~q) e efetivar a resolução na ordem de precedência entre as operações ~, ∧, ∨.