Cmo crear tablas de verdad usando Excel?

Francisco Daz Montilla Departamento de Filosofa Universidad de Panam

0. Introduccin El mtodo de las tablas de verdad es un mtodo ampliamente usado en lgica de juntores para probar la validez de frmula o de razonamientos. A pesar de que el mtodo permite decidir el valor de cada frmula, puede resultar engorroso cuando se trata de frmulas complejas. Curiosamente, Excel constituye una excelente herramienta para analizar los valores de verdad de una frmula dada. El procedimiento es similar al que usamos para tabular datos de cualquier clase, slo que en lo que a frmulas lgicas respecta trabajaremos con los valores 1 y 0 (verdadero y falso respectivamente). A continuacin se procede a explicar el proceso. 1. Conectores Para efectos de economa notacional, usaremos notacin prefija o polaca[1]. En consecuencia, dadas dos proposiciones p, q: Np significa no p (negacin) Cpq significa p y q (conjuncin) Dpq significa p o q (disyuncin inclusiva) Kpq significa si p, entonces q) (implicacin material) Epq significa p es equivalente a q (equivalencia material). Una valuacin es una funcin que asocia proposiciones con valores de verdad. Si asumimos un conjunto de proposiciones P y un conjunto V = {1, 0}, quiere decir que una valuacin es: v: P => V. Para efectos de simplicidad denotaremos este hecho con la expresin v(p) = 1 o v(p) = 0, segn p sea verdadera o falsa. De acuerdo con los manuales de lgica, si v(p) = 1, entonces su negacintomar el valor opuesto, su complemento. Podemos expresar este hecho de la siguiente manera: v(Np) = 1- v(p). Si v(p) = 1, entonces v(Np) = 1-v(p) = 1-1 = 0; y si v(p) = 0, entonces v(Np) = 1- v(p) = 1-0 = 1. Esto se ilustra en la siguiente tabla NEGACIN p Np 1 0 0 1

Una conjuncin es verdadera si y slo si sus elementos constituyentes son verdaderos; en caso contrario, es falsa. Esto quiere decir que basta que un elemento constituyente de una conjuncin sea falso, para que la conjuncin sea falsa. Este hecho lo representaremos mediante el operador MIN, el cual asigna a la conjuncin el valor mnimo de las expresiones que aparezcan en ella. Tenemos, entonces, que v(Cpq) = MIN(v(p), v(q)). Si asumimos que v(p) = 1 y v(q) = 0, entonces, v(Cpq) = MIN(v(p), v(q)) = MIN(1, 0) = 0. Lo anterior se sintetiza en la siguiente tabla: CONJUNCIN P Q Cpq 1 1 1 1 0 0 0 1 0 0 0 0 Una disyuncin es falsa si y slo si sus elementos constituyentes son falsos; en caso contrario, es verdadera. Esto quiere decir que basta que un elemento constituyente de una conjuncin sea verdadero, para que la disyuncin sea verdadera. Este hecho lo representaremos mediante el operador MAX, el cual asigna a la disyuncin el valor mximo de las expresiones que aparezcan en ella. Tenemos, entonces, que v(Dpq) = MAX(v(p), v(q)). Si asumimos que v(p) = 1 y v(q) = 0, entonces, v(Dpq) = MAX(v(p), v(q)) = MAX(1, 0) = 1. Lo anterior se sintetiza en la siguiente tabla: DISYUNCIN P Q Dpq 1 1 1 1 0 1 0 1 1 0 0 0 Una implicacin material es falsa si y slo si el antecedente es verdadero y el consecuente es falso. En caso contrario, es verdadera. Este hecho lo representaremos mediante la relacin <= (menor o igual) del modo siguiente: v(Dpq) = MAX(v(p), v(q)). Si asumimos que v(p) = 1 yv(q) = 0, entonces, v(Kpq) = 1, si y slo si: v(p) <= v(q). En caso contrario es igual a 0. Si asumimos que v(p) = 1 y v(p) = 0, entonces v(Kpq) = v(p) <=v(q) = 1 <= 0. En vista de que la desigualdad no se satisface, quiere decir que v(Kpq) = 0. La tabla de verdad siguiente muestra las combinaciones posibles para la implicacin material: IMPLICACIN

P 1 1 0 0

Q 1 0 1 0

Kpq 1 0 1 1

Una equivalencia material es verdadera si y slo los valores de sus constituyentes son iguales; en caso contrario, es falsa. Este hecho lo representaremos mediante la relacin = (igual a) del modo siguiente:v(Epq) = 1 si y slo si v(p) = v(q). En caso contrario tomar el valor 0. Si asumimos que v(p) = 0 y v(q) = 0, entonces, v(Epq) = v(p) = v(q) = 0 = 0 = 1. La tabla de verdad siguiente muestra las combinaciones posibles para la equivalencia material: EQUIVALENCIA P Q Kpq 1 1 1 1 0 0 0 1 0 0 0 1 2. Generadores Para cada frmula F existe un conjunto FG llamado el generador de F. La cardinalidad FG es mayor que 0. De hecho, si F es una proposicin simple, su generadora es justamente dicha proposicin. La cardinalidad de F G, no puede ser, por lo tanto, menor a 1. Sea F la frmula CpKqr, los generadores de F son, en primer lugar, las proposiciones simples p, q, r; en segundo lugar, la implicacin Kqr y, finalmente, F. F tiene, pues, cinco generadores. Esto es de suma importancia para la construccin de las tablas de verdad usando Excel, pues es necesario asignar valores a cada generador. Aplicando lo que hemos dicho anteriormente tenemos que:v(CpKqr) = MIN(v(p), v(Kqr)) = MIN(v(p), (v(q) <= v(r))). 3. Excel Excel es una herramienta que permite, entre otras cosas, elaborar tablas de doble entrada, las columnas, que aparecen identificadas con las letras A, B, C, y las filas, que aparecen numeradas. La interseccin de una columna con una fila constituye una celda. Por ejemplo, la interseccin de la columna B con la fila 8 constituyen la celda B8 que hemos resaltado con el color amarillo.

Un conjunto de celdas constituyen un rango. Pues bien, al construir la tabla de verdad de una frmula mediante Excel, tenemos que colocar cada generador de la frmula en celdas distintas, y en el mismo rango (horizontal). Si partimos del ejemplo anterior, podemos colocar el generador p en la celda B8, q en la celda C8, r en la celda en la celda D8, Kqr en la celda E8 y CpKqr en la celda F8, tal como se ilustra a continuacin:

Una vez que hemos escrito los procedemos a asignarles los valore de proposiciones simples. Como en la tenemos una

generadores en sus respectivas celdas, verdad a cada columna, empezando por las frmula hay tres proposiciones simples, tabla de 23 filas:

Para determinar el valor de Kqr, nos situamos en la celda E9. Notemos que estamos ante una implicacin material. En la celda mencionada escribimos la expresin =SI(C9<=D9, "1", "0"), la cual es interpretada como: Si el valor de la celda C9 es menor o igual al valor de la celda D9, entonces asignar el valor 1, de lo contrario, asignar el valor 0. Una vez escrita la expresin, damos enter, y nos aparece en la celda el nmero 1.

Luego extendemos el valor asignado hasta la celda E16 y se obtiene la tabla completa para esa columna E:

Para determinar los valores CpKqr nos situamos en la celda F9. Notemos que se trata de una conjuncin, razn por la cual debemos usar el operador MIN. Dado que ya sabemos cules son los valores de los componentes de esta frmula, lo que tenemos que hacer es aplicar el operador MIN a las columnas B9 y E9. Escribimos, entonces, en E9 la expresin: =MIN(B9, E9), el cual se interpreta como asignar a F9 el valor mnimo de B9 y E9. Al teclear enter aparecer 1, y al extender la operacin hasta la celda F16 se obtiene la tabla completa:

Finalmente, para propsitos de presentacin, escribimos en B7 la frmula original, y la unimos con las celdas C7:F7, y si gustamos- le asignamos colores a cada generador y su respectiva columna:

Consideremos, ahora, la frmula ENCpqDpr (la negacin de la conjuncin de p y q es materialmente equivalente a la disyuncin de p o r). En este caso, los generadores de la frmula son: p, q, r, Cpq, Dpr, NCpq y ENCpqDpr, los cuales se ubican en el rango B8:H8. Asignamos los valores a las proposiciones simples, siguiendo el procedimiento del ejemplo anterior. Para determinar el valor de Cpq escribimos en la celda E9 la frmula: =MIN(B9, C9), damos enter y la extendemos hasta E16.

Para NCpq, escribimos en F9 la frmula: =1-E9, pues es NCpq es la negacin de Cpq; damos enter y la extendemos hasta F16:

En vista de que Dpr es una disyuncin usamos el operador MAX y escribimos en G9 la expresin siguiente: =MAX(B9, D9), damos enter y extendemos la instruccin hasta G16, lo cual nos da lo siguiente:

Y finalmente, en vista de que ENCpqDpr es una equivalencia material, es necesario usar

la igualdad. Nos colocamos en la celda H9 y escribimos: =SI(F9 = G9, 1, 0); lo cual quiere decir: si el valor de F9 es igual al valor de G9, dar a H9 el valor 1, en caso contrario, el valor 0. Y obtenemos, as, la tabla de verdad de nuestra proposicin.

4. A manera de conclusin Lo anterior constituye una exposicin muy sucinta de cmo puede usarse Excel para la construccin de tablas de verdad para lgica proposicional, razn por la cual podemos hacer del curso de lgica algo ameno, entretenido y compatible con lo tecnolgico. Bsicamente lo que hay que tener presente son las operaciones que hemos definido anteriormente: Np = 1-p Cpq = MIN(p, q) Dpq = MAX(p, q) Kpq = 1, si p <= q; en caso contrario, es igual a 0 Epq = 1, si p = q; en caso contrario, es igual a 1. Pero, sobre todo, debemos tener presente que al representarlo en Excel, cada proposicin se interpreta como si fuese una celda.

[1] Los smbolos para representar algunos han sido cambiados, por ejemplo, en lugar K usamos C para la conjuncin; en lugar de A usamos D para la disyuncin, y en lugar de C usamos K para la implicacin material. Publicado por Doxa en 19:51 Enviar por correo electrnicoEscribe un blogCompartir con TwitterCompartir con Facebook

0 comentarios: Publicar un comentario en la entrada