Tabla de verdad Toda proposicin es falsa o verdadera, pero no puede ser ambas.

Las vboras son reptiles (v) Las vboras son batracios (F)

Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin (entidades portadoras de verdad) compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes. Definicin y algoritmo fundamental Considrese dos variables proposicionales A y B. Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas. Esto puede expresarse con una tabla simple:

Considrese adems a "" como una operacin o funcin lgica que realiza una funcin de verdad al tomar los valores de verdad de A y de B, y devolver un nico valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fcil construir una tabla que muestre qu devuelve cada funcin frente a las distintas combinaciones de valores de verdad de A y de B. 1 AB V V V V 2 AB V V V F 3 AB V V F V 4 AB V V F F 5 AB V F V V 6 AB V F V F 7 8 9 10 AB AB AB AB V V F F F F V V F F V V V F V F 11 12 13 14 15 16 AB AB AB AB AB AB F F F F F F V V F F F F F F V V F F V F V F V F

A V V F F

B V F V F

Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lo tanto 4 lneas, y las 16 columnas despliegan todos los posibles valores que puede devolver una funcin "".

De esta forma podemos conocer mecnicamente, mediante algoritmo, los posibles valores de verdad de cualquier conexin lgica interpretada como funcin, siempre y cuando definamos los valores que devuelva la funcin. Se hace necesario, pues, definir las funciones que se utilizan en la confeccin de un sistema lgico. De especial relevancia se consideran las definiciones para el Clculo de deduccin natural y las puertas lgicas en los circuitos electrnicos. Definiciones en el clculo lgico Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos Como construccin de un sistema matemtico puro Como una aplicacin lgica en un Circuito de conmutacin.

Los operadores fundamentales se definen as: 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:

Que se corresponde con la columna 8 del algoritmo fundamental.

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:

Que se corresponde con la columna 2 del algoritmo fundamental. 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:

Que se corresponde con la columna 5 del algoritmo fundamental. 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:

Que se corresponde con la columna 7 del algoritmo fundamental. Tablas de verdad Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposiciones que la integran, encontrndonos con los siguientes casos: Verdad Indeterminada o Contingencia Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin cundo es F. es V y .

Contradiccin Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es cierto su contradiccin es falsa, y si A es falsa su contradiccin es cierta, la conjuncin de ambas da falso en todos los casos. Tautologas Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es cierto, su negacin es falsa y si A es falsa su negacin es cierta, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos. Tablas de verdad, proposiciones lgicas y argumentos deductivos 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.