[justify] A tabela-verdade é um quadro de linhas e colunas e um cabeçalho que representa todas as possibilidades dos valores verdades de cada uma das sub proposições de uma proposição composta ligada por conectivos. [br] Teremos símbolos para cada um dos conectivos, e usaremos as ideias intuitivas aprendidas na seção anterior para definir a tabela verdade dos 5 conectivos básicos. A partir desses, podemos estabelecer a tabelas-verdade de proposições cada vez mais complexas, desde que não haja ambiguidades. Além disso, a cada sub proposição P adicionada à estrutura, elevasse ao quadrado o número de linhas da tabela. Assim, uma tabela com 10 proposições teria 1024 linhas.[/justify]

[justify] Percebeu algo? As tabelas-verdade de ((não p) ou (não q)) e não(p e q) são iguais, assim como as de p e não(não p). Assim, sempre que uma for verdadeira, a outra também é e, quando uma é falsa, a outra também deve ser. Por esse motivo, definimos que duas proposições são equivalentes de possuem a mesma tabela-verdade.[/justify][br]