1. valores de verdad de los enunciados.
La conjuncin:
Una conjuncin p & q es verdadera cuando todos sus elementos son verdaderos y es falsa cuando alguno de sus elementos o
todos ellos sean falsos.
La representacin de los valores de verdad de la conjuncin :
p q p & q
1 1 1
1 0 0
0 1 0
0 0 0
La disyuncin:
Una disyuncin 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 disyuncin es:
p q p V q
1 1 1
1 0 1
0 1 1
0 0 0
La implicacin:
Una implicacin 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 implicacin es la siguiente:
p q p -> q
1 1 1
1 0 0
0 1 1
0 0 1
El bicondicional o coimplicador
Una coimplicacin 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 representacin es la siguiente:
p q p <-> q
1 1 1
1 0 0
0 1 0
0 0 1
La negacin.
Dado cualquier enunciado verdadero p , su negacin p ser falsa.Y si un enunciado es falso, su negacin ser verdadera.
La tabla de verdad de la negacin puede representarse como sigue :
p p
1 0
0 1
3. Confeccin de las tablas de verdad para cualquier frmula u argumento.
Si podemos determinar el valor de verdad de cada enunciado atmico, podremos saber qu valor de verdad tendr un enunciado
molecular o un conjunto de enunciados moleculares.
Podemos construir una tabla de verdad de cualquier frmula de lgica de enunciados. Para ello, tendremos que seguir los siguientes
pasos:
1. calcular el nmero de filas que tendr la tabla. Este ser equivalente a 2 elevado al nmero de variables que tenga la frmula
( 2
n
donde n representa el nmero de variables que intervienen). Ejemplo: calculemos el nmero de filas que tedr la frmula p & (q V r) -
> ( p & q) V ( p & r ).Tenemos tres variables, luego el nmero ser igual a 2
3
, es decir, 8 filas.
2 .Despus detallaremos la columna inicial, que incluir todos los posibles valores de verdad que puedan darse entre los elementos de la
frmula.
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
3. Una vez hecho esto hay que confeccionar las columnas intermedias, empezando por los componentes principales e internos, hasta
abarcar la conexin completa de todos sus elementos. Sea la frmula:
p & (q V r) -> ( p & q) V ( p & r )
Utilizaremos el metalenguaje para denominar a los distintos elementos de la frmula. Llamaremos A a p & (q V r) y B a (p & q) V ( p & r ) .
Con lo cual, el esquema de la frmula queda como sigue :A -> B
p
1
1
1
1
0
0
0
0
q
1
1
0
0
1
1
0
0
r
1
0
1
0
1
0
1
0
q V r
1
1
1
0
1
1
1
0
A
1
1
1
0
0
0
0
0
p & q
1
1
0
0
0
0
0
0
p & r
1
0
1
0
0
0
0
0
B
1
1
1
0
0
0
0
0
A -> B
1
1
1
1
1
1
1
1
4. En la columna final se resuelve la frmula total A -> B
4. Tautologas ,contradicciones y contingencias.
Dependiendo de los valores de verdad que obtengamos en la columna final podrn suceder tres cosas:
1. Que todos los valores sean verdaderos (1), y a la frmula la llamaremos tautologa. Esto quiere decir que la frmula es verdadera en
todos los casos, independientemente de los valores de verdad que le atribuyamos.
2. Que todos los valores de la columna final sean falsos (0), en cuyo caso nos encontramos con una contradiccin. Una frmula
contradictoria es aquella que no es verdadera en ningn caso, porque no es satisfacible con ninguna atribucin de verdad.
3. Que los valores de la columna final sean verdaderos (1) y falsos (0), en cuyo caso nos encontramos con una contingencia. En una
contingencia existen valores de verdad que satisfacen la frmula y otros que no la satisfacen.
