Valor da verdade, na lógica, verdade (T ou 1) ou falsidade (F ou 0) de uma determinada proposição ou afirmação. Os conectivos lógicos, 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 proposição composta é uma função ou uma quantidade dependente de, os valores de verdade de suas partes componentes.
O valor de verdade de uma declaração composta pode ser facilmente testado por meio de um gráfico conhecido como tabela de verdade. Cada linha da tabela representa uma possível combinação de valores de verdade para as proposições de 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 proposições de componentes, haverá quatro possibilidades e, portanto, quatro linhas na tabela. As propriedades lógicas dos conectivos comuns podem ser exibidas por tabelas de verdade da seguinte maneira:
em 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 complexidade muito maior, aquelas com várias funções de verdade, pode ser construído por meio de um computador. Sistemas abstratos de lógica foram construídos que empregam três valores de verdade (por exemplo, verdadeiro, falso e indeterminado) ou até muitos, como na lógica difusa, na qual proposições têm valores entre 0 e 1.
