Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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
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