valor de verdade, em lógica, verdade (T ou 1) ou falsidade (F ou 0) de uma dada proposta ou declaração. Conectores lógicos, tais como disjunção (simbolizada ∨, para “ou”) e negação (simbolizada ∼), podem ser pensados como funções de verdade, porque o valor de verdade de uma proposta composta é uma função de, ou uma quantidade dependente dos valores de verdade das suas partes componentes.
O valor de verdade de uma declaração composta pode ser prontamente testado por meio de um gráfico conhecido como tabela de verdade. Cada linha da tabela representa uma possível combinação de valores verdadeiros para as propostas dos componentes do composto, e o número de linhas é determinado pelo número de combinações possíveis. Por exemplo, se o composto contiver apenas duas propostas de componentes, haverá quatro possibilidades e, portanto, quatro filas para a tabela. As propriedades lógicas dos conectivos comuns podem ser exibidas por tabelas de verdade como se segue:
in que – significa “e” e ⊃ significa “se . . . então”. (Na tabela “ou”, por exemplo, a segunda linha diz, “Se p é verdadeiro e q é falso, então p ∨ q é verdadeiro”). Tabelas de verdade de muito maior complexidade, aquelas com uma série de funções de verdade, podem ser construídas através de um computador. Foram construídos sistemas abstractos de lógica que empregam três valores de verdade (por exemplo, verdadeiro, falso, e indeterminado) ou mesmo muitos, como na lógica fuzzy, em que as propostas têm valores entre 0 e 1,