Domínio veritativo

Origem: Wikipédia, a enciclopédia livre.
Saltar para a navegação Saltar para a pesquisa
Question book.svg
Esta página ou secção não cita fontes confiáveis e independentes, o que compromete sua credibilidade (desde Agosto de 2012). Por favor, adicione referências e insira-as corretamente no texto ou no rodapé. Conteúdo sem fontes poderá ser removido.
Encontre fontes: Google (notícias, livros e acadêmico)

Um domínio veritativo é a coleção de valores veritativos adotados pela semântica de um dado sistema lógico. O domínio veritativo da lógica clássica, por exemplo, é a coleção constituída pelos adjetivos "verdadeiro" e "falso"; algumas lógicas paraconsistentes têm como domínio veritativo a coleção constituída por "absolutamente verdadeiro", "relativo" e "absolutamente falso"; algumas lógicas paracompletas adotam como domínio veritativo a coleção cujos valores são "verdadeiro", "falso" e "indefinido"; outras lógicas possuem domínios veritativos com um número infinito de valores veritativos, como por exemplo as lógicas difusas.