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, pq.

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)