Felipe Lorenzo del Río
veritativo 498
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)"
Me gusta 5
* Solo un "me gusta" por significado y día, a mayor número de "me gusta" el significado aparecerá más arriba en la lista