TABLA DE VERDAD

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposicin compuesta, para cada combinacin de verdad que se pueda
asignar.
Verdadero
El valor verdadero se representa con la letra V; si se emplea notacin numrica se expresa
con un uno: 1;
Falso
El valor falso se representa con la letra F; si se emplea notacin numrica se expresa con un 0
Variable
Para una variable lgica A, B, C,... que pueden ser verdaderas V, o falsas F, los operadores
fundamentales se definen as:

Negacin u Opuesto
La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el
valor contradictorio de la proposicin considerada.

Conjuncin
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
La tabla de verdad de la conjuncin es la siguiente:

Disyuncin
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.
La tabla de verdad de la disyuncin es la siguiente:

Implicacin o 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 falso slo cuando la primera
proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso.
La tabla de verdad del condicional material es la siguiente:

Equivalencia, doble implicacin o 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 son diferentes.

La tabla de verdad del bicondicional es la siguiente: