Una función veritativa es una asignación de valores de verdad con valores de verdad. Las cinco funciones veritativas que hemos estudiado en Aprende Lógica 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. bicondicional, conjunción, disyunción, implicación, negación, tabla de verdad)