Adjetivo derivado del término latino véritas veritatis (verdad) que no reconoce la Academia. Sin embargo en lógica proposicional sí se usa como sinónimo de verificador o que nos permite saber la verdad o falsedad de una fórmula proposicional o proposición compuesta o molecular. Así se habla de funciones veritativas, es decir, las conectivas proposicionales que unen proposiciones simples o compuestas; son estas: negador, conjuntor, disyuntor, implicador y biimplicador. Todas estas funciones veritativas son reductibles al negador y al conjuntor, es decir, en lógica proposicional todo se puede decir con "no" y con "y". Por ejemplo, la proposición condicional: si llueve, la calle se moja, se puede expresar de este otro modo: no puede ser cierto que no se moje la calle y llueva.
"(p->q) = ¬(p&¬q)"