Português editar

Locução substantiva editar

valor veritativo

(Lógica) medida da condição de verdade ou falsidade de uma frase ou fórmula^[1]

↑ Os valores veritativos mais comuns são os adjetivos "verdadeiro" e "falso", adotados na lógica clássica. Outras lógicas podem adotar outros valores veritativos, tais como "relativo", o qual indica que, para uma dada fórmula, tanto ela como a sua negação são verdadeiros em um sentido amplo, o que é passível de ocorrer nas lógicas paraconsistentes, ou "indefinido", o qual indica que, para uma dada fórmula, tanto ela como a sua negação são falsos em um sentido lato, o que é possível nas lógicas paracompletas.