Adjetivo derivado da palavra latina veritas veritatis verdade ( ) que não reconhece a Academia. No entanto na lógica proposicional se usado como um sinônimo para verificador ou que nos permite conhecer a verdade ou a falsidade de uma proposição de fórmula ou composta ou molecular proposicional. Assim fala das funções veritativas, ou seja, o tecido conectivo proposicional que conectam proposições simples ou compostas; são estas: negador, Jack, disjuntor, implicador e biimplicador. Todas estas funções veritativas são redutíveis ao negador e o Jack, ou seja, na lógica proposicional tudo " não há " 34. o e " Por exemplo, a proposição condicional: se chove, a rua torna-se molhado, pode expressar isto em outras palavras: não pode ser verdade que a rua não fica molhado e a chuva.
"(p->q) = ¬(p&¬q)"