* ↑ 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.