Este documento explica el concepto y uso de las tablas de verdad para determinar el valor de verdad de fórmulas proposicionales. Indica que las tablas de verdad muestran todas las posibles combinaciones de valores de verdad de las variables proposicionales para hallar la matriz principal que define la fórmula. Esta matriz puede ser tautológica, contradictoria o consistente dependiendo de su distribución de valores verdaderos y falsos. También explica cómo construir tablas de verdad para las funciones proposicionales básicas como

1. FUNCIONES VERITATIVAS EXPOSITOR: I17

5. Notemos que la distribución de la verdades y falsedades es por mitades; si hay 8 mundos posibles, entonces, para el caso de la variable “ p ”, 4 de ellos serán verdades y los otros 4 serán falsedades. Hemos distribuido de 4 en 4. En el caso de la variable “ q ”, repartiremos la verdad y la falsedad de 2 en dos 2 con el fin de acaparar todas las posibilidades combinatorias. En el caso de la variable “ r ” hemos repartido la verdad y la falsedad de uno en uno. ANÁLISIS MATRICIAL -II- p q r [(p  q) -> r] ↔ [(p -> (q -> r)] V V V V V V V V V V V V F V F F V V F F V F V F V V V V V V V F F F V F V V V V F V V F V V V F V V F V F F V F V F V F F F V F V V V F V V F F F F V F V F V V

9. LAS FUNCIONES DE VERDAD A B A  B A  B A -> B A ↔ B A ↮ B ~A V V V V V V F F V F F V F F V F F V F V V F V V F F F F V V F V