TABLAS DE VERDAD
Una tabla de verdad es una representación esquemática de las relaciones entre proposiciones.
Estas tablas nos sirven para determinar los valores de verdad de proposiciones compuestas, las cuales dependen de los conectivos usados y del valor de verdad de sus proposiciones simples.
Valores de verdad de los conectivos lógicos:
CONSTRUCCIÓN DE TABLAS DE VERDAD
Para determinar el valor de verdad de las proposiciones compuestas es necesario elaborar una tabla de verdad, para lo cual seguiremos los siguientes pasos:
Construir la tabla de valor para la proposición ¬ (p ^ q)
- Paso 1: Identificar las proposiciones simples presentes en el razonamiento lógico:
- Paso 2: Determinar la cantidad de combinaciones posibles entre los valores de verdad de las proposiciones simples:
Para encontrar el número de combinaciones posibles de acuerdo al número de variables lógicas o letras proposicionales se utiliza la siguiente fórmula proposicional:
2ᶯ
- Paso 3: Se hace un recorrido desde adentro hacia afuera de acuerdo a los signos de agrupación: los signos de agrupación que encontramos en una fórmula proposicional sigue el orden:
- Paso 4: Se identifica el conectivo que aparece dentro del paréntesis:
- Paso 5: Se precisa el término de enlace que precede al paréntesis en el ejemplo la negación.
- Paso 6: Se elabora el número de columnas determinadas por:
-Proposiciones que intervienen.
-Conectivos utilizados dentro del paréntesis.
-Conectivo utilizado fuera del paréntesis.
- Paso 7: Se completa la tabla por columnas teniendo en cuenta el conectivo y el valor de verdad de cada proposición simple:
De esta manera , sin importar el tamaño de la proposición compuesta, siempre estaremos analizando el valor de verdad para un solo conectivo lógico en cada columna.
