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:
![]() |
||
![]() |
|
![]() |
![]() |
![]() |