La interpretación de una fórmula queda completamente determinado por los valores de verdad de las variables proposicionales (VP) que dicha interpretación asigna a las letras enunciativas que aparecen en esa fórmula. Una vez que conocemos el valor de verdad que la interpretación asigna a cada VP y tenemos presentes las definiciones de los conectivos resulta fácil determinar el valor de verdad que le corresponde a la fórmula completa.El procedimiento de determinación requiere ir por pasos, estableciéndolos valores correspondientes a los diferentes niveles de subfórmulas (indicados por los paréntesis) hasta alcanzar el nivel de la fórmula completa. Así obtenemos una tabla de verdad para la fórmula en cuestión.
Una tabla de verdad establece las diferentes posibles combinaciones de valores de verdad de las VP de una fórmula y determina los valores correspondientes a esa fórmula para cada una de esas combinaciones, es decir, cada renglón será una interpretación posible para esa fórmula a partir de las diferentes combinaciones de valores de verdad para las VP que la compongan.
Cada tabla requiere un número de interpretaciones que se corresponde con el número de combinaciones de valores de verdad para las VP que aparezcan en la fórmula. El criterio para determinar cuantas interpretaciones posibles tiene una fórmula depende del número de VP distintas que aparezcan en ella. Dado que según el Principio de Bivalencia que rige la Lógica Clásica una fórmula sólo puede tener dos valores de verdad (a saber, V o F) para una fórmula que contenga n VP, ese número es 2n. Así la tabla de verdad de una fórmula que tenga 2 variables tendrá 22 = 4 renglones, una que tenga 3, tendrá 23 = 8, una que tenga 4 24 = 16 y así sucesivamente.
Luego de calcular el número de renglones necesarios (en este caso hay sólo dos VP, luego serán 4 renglones) procedo de la siguiente manera:
Paso 1: La columna 1 corresponde a la asignación de todas las combinaciones de valores de verdad posibles de las VP que aparecen en la fórmula
Paso 2: Calculo el valor de Verdad correspondiente a las negaciones de VP
Paso 3: Calculo los conectivos binarios que afecten directamente a VP o a negaciones de VP
Paso 4: Calculo conectivos binarios que afecten a los resultados del paso anterior hasta llegar al conectivo principal de la fórmula.
El resultado de la tabla aparecerá reflejado debajo del conectivo principal.
El resultado de la tabla de verdad de una fórmula es la última columna (correspondiente al conectivo principal de la fórmula molecular). Como se habrá observado pueden ocurrir tres casos:
a) el resultado final de la tabla sólo arroja signos de V.
No hay comentarios:
Publicar un comentario