|
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:
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:
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 p∨q por (~p∧q)∨(p∧~q) e efetivar a resolução na ordem de precedência entre as operações ~, ∧, ∨. |
Copyright © 2014 AIEC. |