Adjetivo

editar
  Singular Plural
Masculino veritativo veritativos
Feminino veritativa veritativas

ve.ri.ta.ti.vo

  1. relativo ao nível ou condição de verdade de uma frase; os valores veritativos mais comuns que podem ser associados a uma dada frase são verdadeiro e falso
  2. (lógica) relativo ao nível de verdade de uma fórmula; na lógica clássica, por exemplo, existem dois valores veritativos – verdadeiro e falso; em outros sistemas lógicos a quantidade e significado dos valores veritativos pode variar bastante

Expressões

editar
  • conectivo veritativo-funcional: (lógica) conectivo cujo significado pode ser dado através de uma função ou tabela veritativa, tais como os conectivos da lógica clássica, associados às expressões "se...então", "e", "ou", "se, e somente se", e "não".
  • domínio veritativo: (lógica) 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", e assim por diante; algumas lógicas possuem domínios veritativos com um número infinito de valores veritativos, como por exemplo as lógicas difusas.
  • função veritativa: (lógica) função que associa um valor veritativo a uma lista de valores veritativos.
  • tabela veritativa: (lógica) tabela para uma dada função veritativa.
  • valor veritativo: (lógica) medida da condição de verdade de uma frase ou fórmula.

Ligações externas

editar