Tabla de verdad

Tabla 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 logico-philosophicus, publicado en 1921.

Definicin y algoritmo fundamental

Considrese dos proposiciones A y B.[2] 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 A V V F F B V F V F 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 AB V F F V 8 AB V F F F 9 AB F V V V 10 AB F V V F 11 AB F V F V 12 AB F V F F 13 AB F F V V 14 AB F F V F 15 AB F F F V 16 AB F F F 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.

Tabla de verdad

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 opera 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. 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:

Tabla de verdad

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:

Tabla de verdad

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 proposicones 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 consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin es V y cundo es F. , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que

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 de unas con otras. Sea el caso: [(A/\B)/\(A\/B)]/\C Procederemos de manera similar al caso anterior. Aplicamos (Columna 4) la definicin de conjuntor a los valores de A y B.(columnas 1,2 4) Despus aplicamos la definicin de disyuntor a los valores de A y B. (columnas 1,2 5) Aplicamos en la columna siguiente (Columna 6) el negador a los valores de la columna anterior. Aplicamos el conjuntor a los valores de la columna (A/\B)(Columna 4) con los de la columna (A\/B).(Columna 6) Por ltimo (Columna 8) aplicamos el conjuntor a los valores de la columna de C (Columna 3) con la columna ltima (Columna 7)cuyo resultado nos da los valores de [(A/\B)/\(A\/B)]/\C, siempre falsos cualquiera que sea la fila que consideremos.

Tabla de verdad

1 A V V V V F F F F

2 B V V F F V V F F

3 C V F V F V F V F

4 A/\B V V F F F F F F

5 A\/B V V V V V V F F

6 (A\/B) F F F F F F V V

7 (A/\B)/\(A\/B) F F F F F F F F

8 [(A/\B)/\(A\/B)]/\C F F F F F F F F

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: [(AB)/\(BC)] (AC) Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad:
A V V V V F F F F B V V F F V V F F C V F V F V F V F AB BC (AB)/\(BC) (AC) [(AB)/\(BC)] (AC) V V F F V V V V V F V V V F V V V F F F V F V V V F V F V V V V V V V V V V V V

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:

Tabla de verdad 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.

Aplicaciones
Clculo lgico
La aplicacin fundamental se hace cuando se construye un sistema lgico que modeliza el lenguaje natural sometindolo a unas reglas de formalizacin del lenguaje. Su aplicacin puede verse en el clculo lgico.

Lgica de circuitos
Una aplicacin importante de las tablas de verdad procede del hecho de que, interpretando los valores lgicos de verdad como 1 y 0 (lgica positiva) en el sentido que valor "1" permite el paso de corriente elctrica; y valor "0" corta el paso de dicha corriente. Los valores de entrada o no entrada de corriente a travs de un diodo pueden producir una salida 0 1 segn las condiciones definidas como funcin segn las tablas mostradas anteriormente.

Puertas lgicas para circuitos elctricos

As se establecen las algunas funciones bsicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la funcin NOT. En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una tabla anloga de 16 funciones como la presentada arriba, con sus equivalentes en lgica de circuitos.

Tabla de verdad

EA EB Verdad

EA OR EA OR EA EB NOT BUFFER NOT(EA) BUFFER XNOR (EB) EA OR EB EB EB

EA EA AND NAND EB EB

EA XOR EB

EA AND NOT NOT(EB) NOT(EA) NOT(EA) EB OR EB

NOR Falso

1 1 0 0

1 0 1 0

1 1 1 1

1 1 1 0

1 1 0 1

1 1 0 0

1 0 1 1

1 0 1 0

1 0 0 1

1 0 0 0

0 1 1 1

0 1 1 0

0 1 0 1

0 1 0 0

0 0 1 1

0 0 1 0

0 0 0 1

0 0 0 0

Esta aplicacin hace posible la construccin de aparatos capaces de realizar estas computaciones a alta velocidad, y la construccin de circuitos que utilizan este tipo de anlisis se hace por medio de puertas lgicas. La Tabla de la verdad es una herramienta imprescindible en la recuperacin de datos en las bases de datos como Internet con los motores de bsqueda o en una biblioteca con sus ficheros informatizados. As mismo se utilizan para programar simulaciones lgicas de inteligencia artificial con lenguajes propios. Tambin en modelos matemticos predictores: meteorologa, marketing y otros muchos.

Desarrollo del algoritmo fundamental en lgica de circuitos

La definicin de la tabla de verdad corresponde a funciones concretas, en cada caso, as como a implementaciones en cada una de las tecnologas que pueden representar funciones lgicas en binario, como las puertas lgicas o los circuitos de conmutacin. Caso 1

El primer caso en una funcin lgica que para todas las posibles combinaciones de A y B, el resultado siempre es verdadero, es un caso de tautologa, su implementacin en un circuito es una conexin fija. Caso 2

En este segundo caso el resultado solo es falso si A y B son falsos, si una de las dos variables es cierta el resultado es cierto. La funcin seria:

Tabla de verdad Caso 3

En el tercer caso el resultado es cierto si A es cierto y cuando A y B son falsos el resultado tambin es cierto. Su funcin seria:

Caso 4

En el cuarto caso la funcin es cierta si A es cierta, los posibles valores de B no influyen en el resultado. La funcin solo depende de A:

Caso 5

En el quinto caso si A es falso el resultado es verdadero, y si A y B son verdaderos el resultado tambin es verdadero, puede verse que este caso es idntico al tercero permutando A por B. Y si funcin es:

Caso 6

En el sexto caso la funcin es cierta si B es cierta, los valores de A no influyen en el resultado. La funcin solo depende de B:

Tabla de verdad

Caso 7

El sptimo caso corresponde a la relacin bicondicional entre A y B, el resultado solo es cierto si A y B son ciertos o si A y B son falsos.

Caso 8

En el octavo caso el resultado es cierto si A y B son ciertos, en el resto de los valores de A y B el resultado es falso, corresponde a la conjuncin de A y B, equivalente a un circuito en serie.

Caso 9

En el noveno caso el resultado solo es falso si A y B son ciertos, en el resto de los valores de A y B el resultado es verdadero, corresponde a la disyuncin de la negacin A y de B, equivalente a un circuito en paralelo de conexiones inversas.

Tabla de verdad Caso 10

10

Podemos ver que el dcimo caso es lo opuesto a la bicondicional, solo es cierto si A y B discrepan, si A y B son diferentes el valor es cierto, si A y B son iguales el resultado es falso.

Caso 11

En este caso posemos ver que cuando B es cierto el resultado es falso y que cuando B es falso el resultado es verdadero, independientemente del valor de A, luego la funcin solo depende de B, en sentido inverso.

Caso 12

En el caso doce, vemos que solo hay un combinacin de A y B con resultado verdadero, que es A y la negacin de B.

Caso 13

En el caso decimotercero podemos ver que el resultado es el opuesto de A, independientemente del valor de B:

Tabla de verdad Caso 14

11

Caso decimocuarto, el resultado de la funcin solo es cierto si A es falso y B verdadero, luego es equivalente a un circuito en serie de A en conexin inversa y de B en conexin directa.

Caso 15

En el caso decimoquinto, el resultado solo es cierto si A y B son falsos, Luego es necesario que Tanto A como B sean falsos para que el resultado sea verdadero.

Caso 16

Por ultimo en el caso decimosexto, tenemos que el resultado siempre es falso independientemente de los valores de A o de B.

Vase tambin
Operador lgico Anexo:Tabla de smbolos matemticos Lenguaje formalizado lgebra de Boole Clculo lgico Lgica binaria Lgica proposicional Puerta lgica Funcin lgica

Tabla de verdad

12

Notas y referencias
[1] truth table (http:/ / www. oxfordreference. com/ views/ ENTRY. html?subview=Main& entry=t82. e2895) (en ingls), The Concise Oxford Dictionary of Mathematics, Oxford University Press, , consultado el 8 de octubre de 2009 [2] Las letras A y B son metavariables, es decir pertenecen a un metalenguaje que habla de un lenguaje-objeto; por ello simbolizan cualquier proposicin, atmica o no, del lenguaje de la lgica proposicional.

Enlaces externos
http://www.mitecnologico.com/Main/TablasDeVerdad

Fuentes y contribuyentes del artculo

13

Fuentes y contribuyentes del artculo

Tabla de verdad Fuente: http://es.wikipedia.org/w/index.php?oldid=45898002 Contribuyentes: -jem-, .Sergio, Alephcero, Angel verde, Antur, Arctosouros, Aipni-Lovrij, Banfield, Belb, BetoCG, C'est moi, Cebrianm, Dangelin5, Danie1996, Dansanti, Dianai, Diegusjaimes, Dnu72, Dodo, Edgar, Edmenb, Eligna, FAR, Filipo, Fortefranco, Gabri-gr-es, GermanX, Hprmedina, JKD, Jarisleif, Jhon97, Jkbw, Julian Colina, Kokoo, L30nc1t0, Lagarto, Laura Fiorucci, Lauranrg, Leonpolanco, Luis Felipe Schenone, MONIMINO, Mansoncc, Matdrodes, Mecamtico, Melocoton, Miss Manzana, Muro de Aguas, Pabloallo, Sabbut, Taichi, Tirithel, Vivero, Wikilptico, Wilfredor, XalD, Xenocrates, Xenoforme, Xuankar, Yrithinnd, conversion script, 284 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:TE Interu 3A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_3A.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 1A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1A.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 1B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1B.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Conex 05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_05.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Conex 09.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_09.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Conex 14.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_14.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 2A.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_2A.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 08.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_08.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Conex 12.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_12.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 2B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_2B.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Conex 00.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Conex_00.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 1C.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_1C.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:Puertas lgicas de circuitos.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Puertas_lgicas_de_circuitos.jpg Licencia: Creative Commons Attribution-Sharealike 3.0 Contribuyentes: User:MONIMINO Archivo:TE Interu 05.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_05.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 3B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_3B.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 4B.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_4B.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 07.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_07.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72 Archivo:TE Interu 06.svg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:TE_Interu_06.svg Licencia: GNU Free Documentation License Contribuyentes: User:Dnu72

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/