Tabela-verdade

term: Tabela-verdade summary: "Tabela que lista todas as combinações de valores-verdade das variáveis e o resultado da expressão." relatedModules: [propositional-logic] seeAlso: [conectivo-logico, tautologia, contradicao]

Definição

Tabela que lista todas as combinações possíveis de valores-verdade das proposições componentes e o valor resultante da proposição composta.

Intuição

Verificação por força bruta. Para $n$ variáveis, $2^n$ linhas.

Uso

Verificar se duas fórmulas são equivalentes; identificar tautologias e contradições.