A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

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 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

(v. interpretación, tabla de verdad)