Resumen de tablas de verdad

Una tabla de verdad que muestra el valor de verdad de una proposición compuesta, para
cada combinación de valores de verdad que se pueda asignar a sus componentes.
Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más
popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus,
publicado en 1921.
Como elementos pueden usarse fórmulas bien formadas de longitud arbitraria, que habrá
que ir descomponiendo hasta tener una tabla que estudie los casos de los valores de
verdad de todos los predicados simples (p, q, r, a, b...), de modo que si se tiene un
número n de predicados simples en la fórmula, hay que estudiar 2 elevado a n casos.

Por ejemplo, la tabla de una fórmula como "(si a entonces b) y (no r o s)" sería mucho
más ardua de hacer que las que se verán a continuación, aunque el mecanismo es el
mismo, descomponiendo la fórmula en fórmulas cada vez más sencillas hasta llegar a los
valores de a, b , p, q, r y s.

Negación
La 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
La conjunción es un operador que opera sobre dos valores de verdad,
típicamente 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.
Disyunción
La disyunción es un operador que opera sobre dos valores de verdad,
típicamente 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.

Implicación o Condicional
El condicional material es un operador que opera sobre dos valores de verdad,
típicamente los valores de verdad de dos proposiciones, devolviendo el valor de
verdad falso sólo cuando la primera proposición es verdadera y la segunda falsa,
y verdadero en cualquier otro caso.

Bicondicional
El bicondicional o doble implicación es un operador que funciona sobre dos valores de
verdad, típicamente 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 difieren.
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposición
molecular, así como el análisis de la misma en función de las proposiciones que la
integran, encontrándonos con los siguientes casos:

Tautologías
Se entiende por proposición tautológica, o tautología, aquella proposición que
en todos los casos posibles de su tabla de verdad su valor siempre es
V.

Contradicción
Se entiende por proposición contradictoria, o contradicción, aquella
proposición que en todos los casos posibles de su tabla de verdad su valor
siempre es F.
Verdad Indeterminada o Contingencia
Se entiende por verdad contingente, o verdad de hecho, aquella
proposición que puede ser verdadera o falsa, según los valores de las proposiciones que
la integran.
Ejercicios resueltos

1) Debemos filosofar o no debemos hacerlo. Si debemos hacerlo, entonces debemos

hacerlo. Si no debemos hacerlo, entonces no debemos hacerlo. Por consiguiente,
en cualquier caso, debemos filosofar. (Aristóteles)

P | (((P v ~P) & (P -> P)) & (~P -> P)) -> P
---+------------------------------------------
V| VF V V V F V *V
F| VV V V F V F *V

2) Me matan si no trabajo y si trabajo me matan. Me matan siempre me matan.

P Q | ((~P -> Q) & (P -> Q)) -> Q

-----+-----------------------------
VV | F V V V *V
VF | F V F F *V
FV | V V V V *V
FF | V F F V *V

3) Si no hay control de nacimientos, entonces la población crece ilimitadamente,

Pero si la población crece ilimitadamente, aumentará el índice de pobreza. Por
consiguiente, si no hay control de nacimientos, aumentará el índice de pobreza

P Q R | ((~P -> Q) & (Q -> R)) -> (~P -> R)

-------+-------------------------------------
VVV | F V V V *V F V
VVF | F V F F *V F V
VFV | F V V V *V F V
VFF | F V V V *V F V
FVV | V V V V *V V V
FVF | V V F F *V V F
FFV | V F F V *V V V
FFF | V F F V *V V F