Função de verdade
Uma função de verdade, também chamada de função veritativa, é uma função que retorna valores de verdade a listas de valores de verdade. Na lógica clássica, a coleção de valores de verdade reduz-se a dois elementos, a verdade e a falsidade, enquanto que, em outras lógicas, a quantidade e natureza dos valores de verdade pode variar bastante. Um conectivo sentencial é uma função de verdade se a ele for atribuído ou se ele denota uma função de verdade.
Imagem: Portuguese_eyes · BY-SA · Openverse
Na lógica binária, existem dezesseis funções de verdade possíveis, também chamadas de funções booleanas, de duas entradas P e Q. Qualquer uma dessas funções corresponde a uma tabela de verdade de um certo conectivo lógico na lógica clássica, incluindo vários casos de degeneração, como uma função que não depende de um ou de ambos os seus argumentos. Verdade e falsidade são denotadas como 1 e 0 nas seguintes tabelas de verdade, respectivamente, por uma questão de brevidade.
