Written by Tabla de contenidos
La tabla de la verdad es un dispositivo utilizado en el estudio de la lógica matemática. Con esta tabla es posible definir el valor lógico de una proposición, es decir, saber cuándo una oración es verdadera o falsa.
Lógicamente, las proposiciones representan pensamientos completos e indican declaraciones de hechos o ideas.
La tabla de verdad se usa en proposiciones compuestas, es decir, oraciones formadas por proposiciones simples, y el resultado del valor lógico depende solo del valor de cada proposición.
Los conectivos lógicos se utilizan para combinar proposiciones simples y formar proposiciones compuestas. Estos conectores representan operaciones lógicas.
En la siguiente tabla, indicamos los conectores principales, los símbolos utilizados para representarlos, la operación lógica que representan y el valor lógico resultante.
Ejemplo
Indique el valor lógico (V o F) de cada una de las siguientes proposiciones:
a) no p, siendo p: «π es un número racional».
Solución
La operación lógica que debemos hacer es la negación, por lo que la proposición ~ p se puede definir como «π no es un número racional». A continuación, presentamos la tabla de verdad para esta operación:
Dado que «π es un número racional» es una proposición falsa, entonces, de acuerdo con la tabla de verdad anterior, el valor lógico de ~ p será verdadero.
b) π es un número racional y 
es un número irracional.
Solución
En este caso, debemos encontrar el valor lógico de la conjunción de dos proposiciones (p ^ q). La tabla de verdad para esta operación lógica es:
Dado que la primera proposición es falsa y la segunda es verdadera, vemos en la tabla de verdad que el valor lógico de la proposición p ^ q será falso.
c) π es un número racional o es un número irracional.
Solución
Considerando la disyunción conectiva (pvq), podemos indicar la siguiente tabla de verdad:
Dado que q es una proposición verdadera, entonces el valor lógico de la proposición pvq también será verdadero, como podemos ver en la tabla de verdad anterior.
d) Si π es un número racional, entonces es un número irracional.
Solución
En este ítem, tenemos la operación lógica condicional p → q. La tabla de verdad será igual a:
Siendo el primero falso y el segundo verdadero, concluimos de la tabla que el resultado de esta operación lógica será verdadero.
Es importante tener en cuenta que « es un número irracional «no es una consecuencia del hecho de que» π es un número racional «. Lo que representa el condicional es solo una relación entre valores lógicos.
e) π es un número racional si solo es irracional.
Solución
En este artículo, tenemos la operación lógica 
. La tabla de verdad será igual a:
De la tabla, concluimos que cuando la primera proposición es falsa y la segunda es verdadera, el valor lógico será falso.
Construcción de tablas de verdad
Los posibles valores lógicos (verdaderos o falsos) se colocan en la tabla de verdad para cada una de las proposiciones simples que forman la proposición compuesta y la combinación de estas.
El número de filas de la tabla dependerá del número de oraciones que componen la proposición. La tabla de verdad de una proposición formada por norte las proposiciones simples tendrán 2norte líneas.
Por ejemplo, la tabla de verdad de la proposición «x es un número real y mayor que 5 y menor que 10» tendrá 8 líneas, ya que la oración está formada por 3 proposiciones (n = 3).
Para colocar todas las posibilidades posibles de valores lógicos en la tabla, debemos llenar cada columna con 2nk valores verdaderos seguidos de 2nk valores falsos, con k comprendidos entre 1 y n.
Después de llenar la tabla con los valores lógicos de las proposiciones, debemos agregar columnas relacionadas con las proposiciones con los conectivos.
Ejemplo
Construya la tabla de verdad de la proposición P (p, q, r) = p ^ q ^ r.
Solución
En este ejemplo, la proposición consta de 3 oraciones (p, qyr). Para construir la tabla de verdad, usaremos el siguiente esquema:
Por lo tanto, la tabla de verdad de la oración tendrá 8 líneas y será verdadera cuando todas las proposiciones también lo sean.
Para obtener más información, consulte también:
