Tablas de certeza

Así como un diagrama de certeza, presentar los valores de certeza de una fórmula para una sola combinación de asignaciones de certeza para sus proposiciones atómicas, la tabla de certeza muestra los valores de certeza de la fórmula para todas las combinaciones posibles de asignaciones de certeza. Incluso con una tabla de certeza se puede hacer simultáneamente para varias fórmulas diferentes.

Para construir una tabla de certeza que dé todas las combinaciones posibles de asignaciones de certeza a n letras atómicas distintas, son necesarias 2^n líneas. Para cada letra atómica distinta se necesita una columna, y también se necesita una columna por cada término de enlace que se presente.
Una tautologia es una proposicion molecular cuya columna en una tabla de certeza no posee ninguna F.
Hay dos maneras de utilizar una tabla de certeza para determinar si un razonamiento es valido. El primero consiste en construir una tabla de certeza con una columna para cada premisa y la conclusión y analizar línea por línea para ver si la conclusión es cierta para cada línea en la que todas las premisas son ciertas. El otro método consiste en construir la condicional correspondiente y después utilizar una tabla de certeza para determinar si la condicional es una tautológia (implicación tautológica).

Hay dos maneras de utilizar una tabla de de certeza para determinar si dos proposiciones son lógicamente equivalentes. La primera consiste en construir una tabla de certeza con una columna para cada una de las proposiciones y después examinar la tabla línea por línea para ver si tienen siempre los mismos valores de certeza en cada línea. El otro método consiste en construir la correspondiente bicondicional y después utilizar la tabla de certeza para determinar si la bicondicional es una tautologia(equivalencia tautológica).