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.[1] En el caso ms sencillo tenemos simplemente una proposicin simple
y listamos los valores de verdad que puede tener, que en el caso de la lgica proposicional
son nicamente 2: verdadero () y falso ().

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 combinacin 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 filas, donde es la cantidad de
proposiciones simples.[3] Por ejemplo, la siguiente tabla tiene 3 proposiciones simples y por lo
tanto debe tener filas, una para cada una de las combinaciones de valores de verdad de las
proposiciones.

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 ms sencillos aplicamos solamente una
conectiva lgica a las proposiciones simples. Por ejemplo, si tenemos las proposiciones y y
les aplicamos una conjuncin , la tabla de verdad resultante ser:

V V V

V F F

F V F

F F F

Para crear la tabla de verdad de una proposicin ms compleja debemos:

1. Separar la proposicin en proposiciones cada vez ms sencillas. Para hacer esto

debemos analizar la proposicin usando el mtodo descrito en la leccin 6.

2. Agregar una columna en la tabla de verdad por cada subproposicin. 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
proposicin original.
Para ilustrar el procedimiento tomaremos la siguiente proposicin y crearemos la tabla de
verdad correspondiente: . Lo primero que debemos hacer es separarla en sus componentes.
En este caso tenemos 3 proposiciones atmicas, la negacin de una de ellas, la conjuncin de
la negacin con otra proposicin atmica, la negacin de la conjuncin y la disyuncin:
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 () y listar todas las posibles combinaciones de sus valores de verdad.

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
expresin usando la definicin de la negacin estudiada en la leccin 2. Una vez que
tenemos el valor de esta proposicin podemos calcular el valor de su conjuncin con la
proposicin usando la definicin de conjuncin previamente estudiada (leccin 3) y as
sucesivamente hasta llegar a la columna de la extrema derecha, que nos da los valores de
verdad para la proposicin compuesta que nos interesa.

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 expresin para cada
una de las posibles combinaciones de valores de verdad de las proposiciones atmicas que la
confirman. En el caso de podemos ver que la expresin tiene un valor de verdad en casi
todos los casos. La nica condicin en la que la expresin tiene un valor de verdad es cuando
la proposicin es verdadera () y las proposiciones y son falsas ().

Tipos de proposiciones[editar]
Podemos clasificar las proposiciones compuestas en tres categoras diferentes usando las
caractersticas de sus tablas de verdad: tautologas, contradicciones y contingencias.
Una tautologa es una proposicin cuya tabla de verdad siempre es para todos los casos
posibles, independientemente de los valores de verdad de las proposiciones que la
componen.[4] Por ejemplo, la proposicin es verdadera para todas las posibles asignaciones
de valores de verdad de las proposiciones y , tal y como lo podemos ver en su tabla de
verdad.

V V V V

V F V V

F V V V

F F F V

Una contradiccin es el caso opuesto a una tautologa. Su valor de verdad es para todos los
valores de su tabla de verdad sin importar el valor de las proposiciones que la forman. [4] La
siguiente tabla de verdad nos muestra que la expresin es una contradiccin porque es falsa
sin importar el valor de verdad de . En lenguaje natural, esta expresin nos dice que no puede
ser verdadera y falsa al mismo tiempo.

V F F

F V F

Una contingencia es cualquier proposicin que no es una tautologa o una contradiccin. Su

valor de verdad depende de los valores de verdad de las proposiciones sencillas que la
conforman. La expresin , que analizamos anteriormente, es un ejemplo de una contingencia
porque sus valores de verdad dependen de los valores de verdad de las proposiciones
atmicas que la componen.