TABLAS 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. 

NEGACIÓN
Es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

CONJUNCIÓN

Es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas.

DISYUNCIÓN

Es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando una de las proposiciones es verdadera, o cuando ambas los son, y falso cuando ambas son falsas.

IMPLICACIÓN

Es un operador que actúa sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de falso solo cuando la primera proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

DOBLE IMPLICACIÓN

Es un operador que funciona sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad son diferentes.