L.P._YENIFER_RECINOS

                                                             TABLAS DE VERDAD                                                                 

Una tabla de verdad lista todos los posibles valores de una o varias proposiciones simples y el valor de verdad de una o varias proposiciones compuestas construidas a partir de las proposiciones simples. En el caso más sencillo tenemos simplemente una proposición simple y listamos los valores de verdad que puede tener, que en el caso de la lógica proposicional son únicamente 2: verdadero (${\displaystyle V}$) y falso (${\displaystyle F}$).

${\displaystyle {\boldsymbol {\alpha }}}$
V
F

La tabla de verdad puede incluir tantas proposiciones simples como sea necesario, cada una listada en su propia columna. La tabla debe tener una fila por cada combinación de valores de verdad de las proposiciones simples. Si la tabla incluye dos proposiciones simples deberá tener 4 filas, si incluye 3 variables deberá tener 8 filas, si incluye 4 variables deberá tener 16 filas y así sucesivamente. En general una tabla debe tener ${\displaystyle 2^{n}}$ filas, donde ${\displaystyle n}$ es la cantidad de proposiciones simples.Por ejemplo, la siguiente tabla tiene 3 proposiciones simples y por lo tanto debe tener ${\displaystyle 2^{3}=8}$ filas, una para cada una de las combinaciones de valores de verdad de las proposiciones.

${\displaystyle {\boldsymbol {\alpha }}}$	${\displaystyle {\boldsymbol {\beta }}}$	${\displaystyle {\boldsymbol {\gamma }}}$
V	V	V
V	V	F
V	F	V
V	F	F
F	V	V
F	V	F
F	F	V
F	F	F

Una vez que hemos listado las combinaciones de valores de verdad, podemos usar la tabla para calcular los posibles valores de verdad de proposiciones compuestas. Para hacer eso agregamos columnas adicionales con proposiciones compuestas que dependen únicamente de las proposiciones a su izquierda. En los casos más sencillos aplicamos solamente una conectiva lógica a las proposiciones simples. Por ejemplo, si tenemos las proposiciones ${\displaystyle P}$ y ${\displaystyle Q}$ y les aplicamos una conjunción ${\displaystyle P\land Q}$, la tabla de verdad resultante será:

${\displaystyle P}$	${\displaystyle Q}$	${\displaystyle P\land Q}$
V	V	V
V	F	F
F	V	F
F	F	F

Para crear la tabla de verdad de una proposición más compleja debemos:

1. Separar la proposición en proposiciones cada vez más sencillas. Para hacer esto debemos analizar la proposición usando el método descrito en la lección 6.
2. Agregar una columna en la tabla de verdad por cada «subproposición». Las columnas se deben organizar de forma que las proposiciones correspondientes solo dependan de las proposiciones simples y de las subproposiciones que se encuentran a su izquierda.
3. Calcular los valores de verdad para cada una de las subproposiciones hasta llegar a la proposición original.

Para ilustrar el procedimiento tomaremos la siguiente proposición y crearemos la tabla de verdad correspondiente: ${\displaystyle (\neg (C\land \neg D)\lor E)}$. Lo primero que debemos hacer es separarla en sus componentes. En este caso tenemos 3 proposiciones atómicas, la negación de una de ellas, la conjunción de la negación con otra proposición atómica, la negación de la conjunción y la disyunción:

1. ${\displaystyle C}$
2. ${\displaystyle D}$
3. ${\displaystyle E}$
4. ${\displaystyle \neg D}$
5. ${\displaystyle (C\land \neg D)}$
6. ${\displaystyle \neg (C\land \neg D)}$
7. ${\displaystyle (\neg (C\land \neg D)\lor E)}$

Una vez que hemos identificado las «subproposiciones» las organizamos en la tabla de verdad. Iniciamos con las proposiciones simples y agregamos una columna por cada una de las subproposiciones compuestas. Dado que tenemos 3 proposiciones simples debemos crear la tabla con 8 filas (${\displaystyle 2^{3}=8}$) y listar todas las posibles combinaciones de sus valores de verdad.

${\displaystyle C}$	${\displaystyle D}$	${\displaystyle E}$	${\displaystyle \neg D}$	${\displaystyle (C\land \neg D)}$	${\displaystyle \neg (C\land \neg D)}$	${\displaystyle (\neg (C\land \neg D)\lor E)}$
V	V	V
V	V	F
V	F	V
V	F	F
F	V	V
F	V	F
F	F	V
F	F	F

Finalmente procedemos a calcular los valores de verdad de las proposiciones compuestas. Iniciamos por la columna de la izquierda y procedemos hacia la derecha una columna a la vez. En este ejemplo lo primero que debemos hacer es calcular los valores de verdad de la expresión ${\displaystyle \neg D}$ usando la definición de la negación estudiada en lalección 2. Una vez que tenemos el valor de esta proposición podemos calcular el valor de su conjunción con la proposición ${\displaystyle C}$ usando la definición de conjunción previamente estudiada (lección 3) y así sucesivamente hasta llegar a la columna de la extrema derecha, que nos da los valores de verdad para la proposición compuesta que nos interesa.

${\displaystyle C}$	${\displaystyle D}$	${\displaystyle E}$	${\displaystyle \neg D}$	${\displaystyle (C\land \neg D)}$	${\displaystyle \neg (C\land \neg D)}$	${\displaystyle (\neg (C\land \neg D)\lor E)}$
V	V	V	F	F	V	V
V	V	F	F	F	V	V
V	F	V	V	V	F	V
V	F	F	V	V	F	F
F	V	V	F	F	V	V
F	V	F	F	F	V	V
F	F	V	V	F	V	V
F	F	F	V	F	V	V

La tabla de verdad resultante nos muestra los valores de verdad de la expresión para cada una de las posibles combinaciones de valores de verdad de las proposiciones atómicas que la confirman. En el caso de ${\displaystyle (\neg (C\land \neg D)\lor E)}$ podemos ver que la expresión tiene un valor de verdad ${\displaystyle V}$ en casi todos los casos. La única condición en la que la expresión tiene un valor de verdad ${\displaystyle F}$ es cuando la proposición ${\displaystyle C}$ es verdadera (${\displaystyle V}$) y las proposiciones ${\displaystyle D}$ y ${\displaystyle E}$ son falsas (${\displaystyle F}$).

Tipos de proposiciones

Podemos clasificar las proposiciones compuestas en tres categorías diferentes usando las características de sus tablas de verdad: tautologías, contradicciones y contingencias.

Una tautología es una proposición cuya tabla de verdad siempre es ${\displaystyle V}$ para todos los casos posibles, independientemente de los valores de verdad de las proposiciones que la componen.^[4] Por ejemplo, la proposición ${\displaystyle A\Rightarrow (A\lor B)}$ es verdadera para todas las posibles asignaciones de valores de verdad de las proposiciones ${\displaystyle A}$ y ${\displaystyle B}$, tal y como lo podemos ver en su tabla de verdad.

${\displaystyle A}$	${\displaystyle B}$	${\displaystyle A\lor B}$	${\displaystyle A\Rightarrow (A\lor B)}$
V	V	V	V
V	F	V	V
F	V	V	V
F	F	F	V

Una contradicción es el caso opuesto a una tautología. Su valor de verdad es ${\displaystyle F}$ para todos los valores de su tabla de verdad sin importar el valor de las proposiciones que la forman.La siguiente tabla de verdad nos muestra que la expresión ${\displaystyle P\land \neg P}$ es una contradicción porque es falsa sin importar el valor de verdad de ${\displaystyle P}$. En lenguaje natural, esta expresión nos dice que ${\displaystyle P}$ no puede ser verdadera y falsa al mismo tiempo.

${\displaystyle P}$	${\displaystyle \neg P}$	${\displaystyle P\land \neg P}$
V	F	F
F	V	F

Una contingencia es cualquier proposición que no es una tautología o una contradicción. Su valor de verdad depende de los valores de verdad de las proposiciones sencillas que la conforman. La expresión ${\displaystyle (\neg (C\land \neg D)\lor E)}$, que analizamos anteriormente, es un ejemplo de una contingencia porque sus valores de verdad dependen de los valores de verdad de las proposiciones atómicas que la componen