Tabla de certeza

Tabla de certeza
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 PEIRCEpor los años 1880, pero el formato más popular es el que introdujo LUDWIG WITTGENTEIN publicado en 1921.
Verdadero.- el valor verdadero se representa con la letra V; si se emplea notaciónnumérica se expresa con un 1.
Falso.- el valor se representa con la letra F si se emplea notación se expresa con un cero.
Variable.- parauna variable lógica A, B, C, que pueden ser verdaderas V o falsas F los operadores fundamentales se definen así.

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 opera sobre los valores de verdad, típicamente los valores de verdad de dos proposiciones,devolviendo el valor verdad verdadero cuando ambas preposiciones son verdaderas, y falso en cualquier otro caso.

Disyunción.- es un operador que opera sobre dos valores de verdad, típicamente losvalores de verdad de dos preposiciones, devolviendo el valor de verdad verdadero cuando de las preposiciones es verdadera, o cuando ambas lo son, falso cuando ambas son falsas.

Implicación ocondicional.- es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos preposiciones, devolviendo el valor de falso solo cuando la primera proposición esverdadera y la segunda falsa, y verdadero en cualquier otro caso.

Equivalencia, doble implicación o bicondicional.- es un operador que funciona sobre dos valores de verdad, típicamente los valoresde 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 son diferentes.