Com estes passos, qualquer proposição pode ter sua análise e interpretação lógica por meio do método de tabela verdade, conforme fizemos com as posições básicas:


Lembre que a tabela verdade é um recurso de análise dos valores lógicos de proposições, permitindo uma melhor organização e detalhamento das combinações possíveis.

Para o preenchimento correto de uma tabela verdade, logo após o posicionamento das posições simples nas colunas, devemos seguir a ordem de precedência para o preenchimento das colunas seguintes.

A ordem de precedência estabelece uma hierarquia entre as operações lógicas, para que sejam resolvidas na ordem correta, finalizando as colunas das tabelas com a interpretação final correta. A hierarquia de resolução é a seguinte:


1. ~
2. ∧, ∨
3. →
4. ↔

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



Copyright © 2014 AIEC.