Tabela-verdade é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um seqüente é correto



Podemos construir tabelas-verdade de qualquer fórmula. O numero de linhas da tabela é determinado pelo número de letras sentenciais na fórmula considerada.
O número de linhas distintas de uma tabela-verdade é dado por 2n, onde n é o número de proposições simples componentes e 2 representa o número de valores lógicos possíveis.



Diante da tabela:

observamos que;

• A pro posição p→q é equivalente da sua contrapositiva.
• A recíproca é equivalente à contrária.
• Obs.: Uma proposição não é equivalente a sua contrária, ou seja:
• p→q <> p→p