Atribución veritativa

Una atribución veritativa es cada conjunto de asignaciones de verdad al conjunto de proposiciones atómicas que forman una fórmula. El número de atribuciones veritativas de una fórmula con n proposiciones atómicas viene dado por la siguiente fórmula 2ⁿ; así, una fórmula con dos atómicas tiene 2²=2×2=4 atribuciones veritativas, una fórmula con tres atómicas: 2³=2×2×2=8, etc.

Con fines ilustrativos, en la siguiente tabla de verdad (la que define al condicional) se representan en distintos tonos de verde las atribuciones veritativas, y en diferentes tonos de rojo las interpretaciones:

(Véase interpretación, tabla de verdad).