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 valores de verdad que se pueda asignar a sus
componentes.
Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms
popular es el que introdujo
Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
<img src='http://www.mitecnologico.com/uploads/Main/falso.png' alt=''
title='' /> <img
src='http://www.mitecnologico.com/uploads/Main/verdadero.png' alt='' title='' />
En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos
manifesta todo lo que implican
las relaciones sintcticas entre las diversas proposiciones.
No obstante la sencillez del algoritmo, aparecen dos dificultades.
La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4
variables.
Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no
presenta dificultad alguna.
Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la
proposicin condicionada, como conclusin, sea previamente conocida, al menos como
hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa.
Por ello se construye un clculo mediante cadenas deductivas:
Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman
como premisas de un argumento.
Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues
garantizan, por su carcter tautolgico, el valor V).
Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas bien
formadas en las relaciones que puedan establecerse entre dichas premisas.
Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones posibles que
haya contenidas en las premisas.
Cuando en un clculo se establecen algunas leyes como principios o axiomas, el clculo
se dice que es axiomtico.
El clculo lgico as puede utilizarse como demostracin argumentativa.
http://www.mitecnologico.com/Main/TablasDeVerdad
1.3 TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una interpretacin de los
signos lgicos,, ., v, , ,como: no, o, y, sientonces, s y slo si,
respectivamente. La interpretacin corresponde al sentido que estas
operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas
tablas y la deduccin lgico matemtica. En consecuencia, las tablas de
verdad constituyen un mtodo de decisin para chequear si una
proposicin es o no un teorema.
Para la construccin de la tabla se asignar el valor 1(uno) a una
proposicin cierta y 0 (cero) a una proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la
proposicin negada.
P P
1 0
0 1


Disyuncin: La disyuncin solamente es falsa si lo son sus dos
componentes.
P Q P v Q
1 1 1
1 0 1
0 1 1
0 0 0


Conjuncin: Solamente si las componentes de la conjuncin son
ciertas, la conjuncin es cierta.
P Q P . Q
1 1 1
1 0 0
0 1 0
0 0 0


Condicional: El condicional solamente es falso cuando el antecedente
es verdadero y el consecuente es falso. De la verdad no se puede seguir
la falsedad.
P Q P
Q
1 1 1
1 0 0
0 1 1
0 0 1


Bicondicional: El bicondicional solamente es cierto si sus componentes
tienen el mismo valor de verdad.
P Q P Q
1 1 1
1 0 0
0 1 0
0 0 1


Se denomina tautologa una proposicin que es cierta para cualquier
valor de verdad de sus componentes. Por tanto, la ltima columna de su
tabla de verdad estar formada nicamente por unos.

Contradiccin es la negacin de una tautologa, luego es una proposicin
falsa cuales quiera sea el valor de verdad de sus componentes. La
ltima columna de la tabla de verdad de una contradiccin estar
formada nicamente por ceros.

Ejercicios 1.3

1. Sean P, Q, R y S frmulas. Si se sabe nicamente que P es
verdadero, Qu puede afirmarse del valor de verdad de cada una las
proposiciones siguientes?
- P . Q R P S P
- R v P P Q R (S P)
- R . P P P v S P v S (Q . P)
- S v P P Q . R Q . P R . Q

2. Qu puede concluirse de cada una de las proposiciones anteriores,
en los siguientes casos?
- Si P es falsa.
- Si P es falsa, Q es verdadera y R es verdadera.

3. Sean P, Q y R frmulas, entonces:
- Si R v P Q . P es falsa y P es falsa; Qu puede afirmarse de R
y de Q?.
- Si Q Q . P es verdadera y P es falsa; Qu puede afirmarse de
Q?.
- Si R . P Q . P es falsa; Qu puede afirmarse de P, Q y R?.
- Si (Q v R) (P . Q) v R es falsa; Qu puede afirmarse de P, Q y
R?.
- Si (P Q) ( R v P R v Q) es verdadera; Qu puede afirmarse
de P, Q y R?

4. Sean P, Q y R frmulas. Determinar cules de las siguientes
proposiciones son tautologas:
- P . Q P . R (P Q ) ( Q P )
- P P . Q (P Q) . (P . Q)
- P . (Q v P) P . ((P v Q) v R)
- (P (Q v P)) Q P v ( P v R)