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 2n; así, una fórmula con dos atómicas tiene 22=2×2=4 atribuciones veritativas, una fórmula con tres atómicas: 23=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:
p | q | p→q |
---|---|---|
V | V | V |
V | F | F |
F | V | V |
F | F | V |