Función veritativa

Se caracteriza por estar definida sobre el conjunto de los valores de verdad (0,1)

Una función veritativa es una asignación de valores de verdad con valores de verdad. Las cinco funciones veritativas son: ~p, p&q, p|q, p→q, p<->q. Las funciones veritativas de las expresiones anteriores vienen definidas por sus respectivas tablas de verdad. (Véase bicondicional, conjunción, disyunción, implicación, negación, tabla de verdad).