Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tabla de verdad
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.[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.
El valor verdadero se representa con la letra V, si se emplea notacin numrica se expresa con un uno: 1, en un circuito elctrico, el circuito esta cerrado. Falso
El valor falso se representa con la letra F, si se emplea notacin numrica se expresa con un cero: 0, en un circuito elctrico, el circuito esta abierto. Variable
Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen as:
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:
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:
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:
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 diferente. La tabla de verdad del bicondicional es la siguiente:
Tabla de verdad
Nmero de combinaciones
Partiendo de un nmero n de variables, cada una de las cuales puede tomar el valor verdadero: V, o falso: F, por Combinatoria, podemos saber que el nmero total de combinaciones: Nc, que se pueden presentar es:
el nmero de combinaciones que se pueden dar con n variable, cada una de las cuales puede tomar uno entre dos valores lgicos es de dos elevado a n, esto es, el nmero de combinaciones: Nc, tiene crecimiento exponencial respecto al nmero de variable n:
Si consideramos que un sistema combinacional de n variables binarias, puede presentar un resultado verdadero: V, o falso: F, para cada una de las posibles combinaciones de entrada tenemos que se pueden construir Cp circuitos posibles con n variables de entrada, donde:
Para componer una tabla de verdad, pondremos las n variables en una lnea horizontal, debajo de estas variables desarrollamos las distintas combinaciones que se pueden formar con V y F, dando lugar a la distintas Nc, nmero de combinaciones. Normalmente solo se representa la funcin para la que se confecciona la tabla de verdad, y en todo caso funciones parciales que ayuden en su clculo, en la figura, se pueden ver todas las combinaciones posibles Cp, que pueden darse para el nmero de variables dado.
Tabla de verdad
As podemos ver que para dos variables binarias: A y B, n= 2 , que pueden tomar los valores V y F, se pueden desarrollar cuatro combinaciones: Nc= 4, con estos valores se pueden definir diecisis resultados distintos, Cp= 16, cada una de las cuales seria una funcin de dos variables binarias. Para otro nmero de variables se obtendrn los resultados correspondientes, dado el crecimiento exponencial de Nc, cuando n toma valores mayores de cuatro o cinco, la representacin en un cuadro resulta compleja, y si se quiere representar las combinaciones posibles Cp, resulta ya complejo para n= 3.
Un circuito sin variables, puede presentar una combinacin posible: Nc=1, con dos circuitos posibles: Cp=2. Que seran el circuito cerrado permanentemente, y el circuito abierto permanentemente.
1 2 V F
En este caso se puede ver que no interviene ninguna variable. Cada uno de estos circuitos admite una nica posicin y hay dos circuitos posibles.
Tabla de verdad
A A A A A V V F V V F F V F F
Los casos 1 y 4 coinciden con los de cero variables, el caso 2 la salida es la de la variable y el caso 3 la negacin de la variable.
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 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
A B AB AB AB AB AB AB AB AB AB AB AB AB AB AB AB AB V V V F F V F F V V V V V V V F V V F V V V F F V F V V V F V F V F F V V F F F F V V V F V V F F V F V F V F F F F V V F F V F F F F V 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
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:
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)
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
Tabla de verdad 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 verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, 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 verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos.
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.
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.
EA EB Verdad EA OR EA OR BUFFER NOT(EA) BUFFER EA EB NOT EA OR EB EB XNOR (EB) EB EA EA AND NAND EB EB EA XOR EB NOT EA AND NOT(EA) NOT(EA) EB NOT(EB) AND 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.
Tabla de verdad
10
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 verdad el resultado es verdad. La funcin seria:
Caso 3
En el tercer caso es verdad si A es verdad y cuando A y B son falsos el resultado tambin es verdad. Su funcin seria:
Caso 4
Tabla de verdad
11
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:
Caso 7
El sptimo caso corresponde a la relacin bicondicional entre A y B, el resultado solo es verdad si A y B son ambos verdad o si A y B son ambos falsos.
Caso 8
Tabla de verdad
12
En el octavo caso el resultado es verdad si A y B son verdad, 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 verdad, 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.
Caso 10
Podemos ver que el dcimo caso es lo opuesto a la bicondicional, solo es verdad si A y B discrepan, si A y B son diferentes el valor es verdad, si A y B son iguales el resultado es falso.
Caso 11
En este caso podemos ver que cuando B es verdad 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
Tabla de verdad
13
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:
Caso 14
Caso decimocuarto, el resultado de la funcin solo es verdad 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 verdad 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 ltimo en el caso decimosexto, tenemos que el resultado siempre es falso independientemente de los valores de A o de B.
Tabla de verdad
14
Notas y referencias
[2] Las letras A y B son metavariables, es decir pertenecen a un metalenguaje respecto a 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
15
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/