Tablas de verdad[editar]

Artculo principal: Tablas de verdad

La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles
interpretaciones de las variables proposicionales que constituye la frmula y el valor de
verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad
para la frmula

sera:

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la
tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p,
q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles
de las variables proposicionales, el valor de verdad de la frmula completa termina
siendo V.