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:

p∧q Conjunção
p∨q Disjunção
p⊻q Disjunção exclusiva
p→q Condicional
p↔q Bicondicional

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. ∧, ∨

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 © 2016 AIEC.