TABLAS DE VERDAD

TABLA DE VALORES DE VERDAD

Es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de
valores de verdad que se pueda asignar a sus componentes.

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

La tabla del "Y" o conjuncin ^
La tabla del "O" o disyuncin
La tabla del entonces o condicional
La tabla de la equivalencia o el bicondicional
La tabla de la negacin

TABLA DE LA CONJUNCIN Y ^
La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad
de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

A B A^B
V V V
V F F
F V F
F F F

TABLA DE LA DISYUNCIN O
La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad
de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es
verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

A B AB
V V V
V F V
F V V
F F F

TABLA DEL CONDICIONAL

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores
de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin
es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

A B AB
V V V
V F F
F V V
F F V
TABLA DEL BICONDICIONAL
El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad,
tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus
valores de verdad difieren.

A B AB
V V V
V F F
F V F
F F V
TABLA DE LA NEGACIN ~ o :
La negacin es un operador que opera sobre un nico valor de verdad, devolviendo el valor
contradictorio de la proposicin considerada.
A ~A
V F
F V