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 más sencillo tenemos satiro simplemente una
proposición simple y listamos los valores de verdad que puede tener, que en el caso de la
Tablas de verdad o tabla de valores de verdad, es una tabla que muestra el valor
de verdad de una proposición compuesta, para cada combinación de valores de
verdad que se pueda asignar a sus componentes.
Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor
de verdad de una proposición compuesta, para cada combinación de verdad que se pueda
asignar.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.

Las tablas de verdad es una estrategia de la lógica simple que permite establecer la
validez de varias propuestas en cuanto a cualquier situación, es decir, determina
las condiciones necesarias para que sea verdadero un enunciado propuesto, permitiendo
clasificarlos en tautológicos (resultan verdaderos durante cualquier situación)
contradictorias (son enunciados falsos en la mayoría de los casos) o contingentes
(enunciados que no pueden será tantos verdaderos como falsos no existen tendencia a
un solo sentido).

Permite diferentes aspectos del enunciado como las condiciones que lo hacen verdadero
y cuáles son sus conclusiones lógicas, es decir, si el enunciado propuesto es verdadero
o falso. Esta tabla fue ideada por Charles Sander Peirce aproximadamente en 1880, pero
la más utilizada es el modelo actualizado de Luidwin Wittgenstein en 1921.

La construcción de la tabla está fundamentada en la utilización de un letra para las

variables del resultado y las mismas se cumplen se dicen que son verdaderas, en el caso
contrario de que no se cumpla se les asigna el apelativo de falsas, por ejemplo:
Enunciado: “Si nos mudamos, mi perro se muere”. Variables: A: Si se muda- B:
el perro se muere.
Si se dice que es verdadero a ambas variables se les asigna la letra (V) y representa la
positividad del enunciado, si algunas de las variables no se cumple se les asigna la letra
(F) esto no representa la falsedad del enunciado ya que con cumplirse una
sola variable se puede designar como verdadero, eso dependerá del enunciado. Cuando
ambos valores resultan verdaderos en todas las ocasiones se dice que existe
una conjugación en el enunciado, en cambio sí se obtiene dos resultados verdaderos y
luego uno verdadero y el otro falso se dice que existe una disyunción.

Existen 5 tabla de la verdad o valores de a verdad las cuales son:

La tabla del " Y" o conjunción

La tabla del " O" o disyunción
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negación

Para la construcción de la tabla se asignará el valor 1(uno) a

una proposición cierta y 0 (cero) a una proposición falsa.

Negación: El valor de verdad de la negación es el contrario

de la proposición negada.

P ¬P
1 0
0 1

Disyunción: La disyunción solamente es falsa si lo son sus

dos componentes.

P Q P∨ Q
1 1 1
1 0 1
0 1 1
0 0 0
Conjunción: Solamente si las componentes de la conjunción
son ciertas, la conjunción es cierta.

P Q P∧Q
1 1 1
1 0 0
0 1 0
0 0 0

Condicional: El condicional solamente es falso cuando el

antecedente es verdadero y el consecuente es falso. De la
verdad no se puede seguir la falsedad.

P Q P→ Q
1 1 1
1 0 0
0 1 1
0 0 1

Bicondicional: El bicondicional solamente es cierto si sus

componentes tienen el mismo valor de verdad.

P Q P↔ Q
1 1 1
1 0 0
0 1 0
0 0 1