valor de verdade
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…