TABLAS DE VERDAD

La conjunción:


Una conjunción p & q es verdadera cuando todos sus elementos son verdaderos y es falsa cuando alguno de sus elementos o todos ellos sean falsos. La representación de los valores de verdad de la conjunción :

.

.

.

.

.

.

.
La disyunción:

Una disyunción p V q es verdadera cuando por lo menos uno de sus elementos es verdadero y es falsa cuando todos sus elementos son falsos.
La tabla de verdad de la disyunción es:

.
.
.
.
.
.
.
.
.
.
.
.
La implicación:

Una implicación p -> q es verdadera siempre que no se de el caso de que su antecedente p sea verdadero y su consecuente q falso.
La tabla de verdad de la implicación es la siguiente:


.
.
.
.
.
.
.
.
.
.
.
.
El bicondicional o coimplicador

Una coimplicación p <-> q es verdadera cuando sus elementos ( p y q ) tengan el mismo valor de verdad, es decir, sean los dos verdaderos o los dos falsos.
Su representación es la siguiente:


.
.
.
.
.
.
.
.
.
.
.
La negación.

Dado cualquier enunciado verdadero p , su negación ¬p será falsa.Y si un enunciado es falso, su negación será verdadera.
La tabla de verdad de la negación puede representarse como sigue :