Tablas de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.1 Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logicophilosophicus,

Negacin
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

verdad 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:

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 difieren. La tabla de verdad del Bicondicional es la siguiente:

Demostracin de la validez
Un argumento concreto es vlido cuando tiene la forma de un esquema de argumento vlido. Por ejemplo, considrese los siguientes dos argumentos: 1. O es de da o es de noche. 2. No es de da. 1. O es varn o es mujer. 2. No es varn.

3. Por lo tanto, es de noche.

3. Por lo tanto, es mujer.

Estos argumentos son vlidos porque ambos tienen la forma de un silogismo disyuntivo, el cual es un esquema de argumento vlido: 1. O p o q. 2. No p. 3. Por lo tanto, q. Para determinar la validez de un argumento concreto, entonces, alcanza con determinar la validez su esquema de argumento, y esto se puede lograr por medios semnticos o por medios sintcticos.