LGICA MATEMTICA, UN ACERCAMIENTO DIDCTICO

Joaqun Gonzlez lvarez La Lgica es la metodologa del razonamiento y su formalizacin inicial se debe al filsofo griego de la antigedad Aristteles a quien se le considera el padre de la Lgica. Aristteles naci en la ciudad de Estagira por lo cual suele llamrsele discpulo de Platn y luego maestro de Alejandro Magno. El Estagirita, fue

Con la aparicin de la monumental obra PRINCIPIA MATHEMTICA de Bertrand Russell y Alfred North Whitehead, se consolida manteniendo firmemente su vigencia hasta el presente, la Lgica Matemtica, la cual constituye una formalizacin de la Lgica de Aristteles que utiliza procedimientos anlogos a los del lgebra pero con una simbologa y operaciones propias. Presentamos a continuacin las operaciones y smbolos de la Lgica Matemtica. Las operaciones bsicamente son tres, NEGACIN, CONJUNCIN y DISJUNCIN. En este contexto los elementos a los que se someten las operaciones son proposiciones, que en aras de la comprensin limitaremos a dos, las cuales designaremos por P y Q. Un ejemplo de proposicin es La nieve es blanca, que por ser verdad sealaremos por V. Un ejemplo de proposicin falsa sera El crculo es cuadrado que se seala por F. La primera operacin que mostraremos es la NEGACIN cuyo smbolo es [ que se lee NO, el cual aplicado por ejemplo a P, ser [P, leyndolo No P. Explicaremos la operacin NEGACIN as:

P V F

[P F V

Ejemplo, P: Scrates era griego, [P: Scrates no era griego. La CONJUNCIN se simboliza por ^ que se lee Y, se refiere a algo que afecta a la vez a dos proposiciones, cumplindose las siguientes reglas:

P V V F F
Los ejemplos son obvios.

Q V F V F

P^Q V F F F

La DISJUNCIN se refiere a algo que ocurre a una de las dos proposiciones o a las dos y se reprenta por v lo cual se lee O, sometindose a estas reglas:

P V V F F

Q V F V F

PvQ V V V F

Aqu si pondremos un ejemplo, pues no resulta tan evidente y nos referimos a cuando una de las proposiciones es falsa como El sol se ve de noche o Las estaciones son cuatro, lo cual significa que cumplindose una de las dos, se est diciendo verdad. Las operaciones lgicas pueden ser modelizadas por los llamados Circuitos Lgicos mediante conexiones elctricas de interruptores, los cuales pueden ser muy simples como los del levantar o bajar una barrita para abrir o cerrar el circuito, que suelen representarse en los dibujos as:

______/ _______
La modelizacin de la NEGACIN es evidente, si est en la posicin de abierto como en la figura, se corresponde con [P, y si est cerrado con P. Si en serie est instalado un bombillo, encendido indicar P y apagado [P. En la aplicacin a la computacin o informtica, encendido representa 1 y apagado 0, y esto a su vez relacionado con los bits

de informacin y con la numeracin binaria a base de 1 y 0 en la llamada programacin de mquina. En informtica los interruptores utilizan la electrnica, la nanotecnologa y otros avances de la tecnologa. Ahora podemos entender como pueden modelizarse las otras dos operaciones lgicas. Es fcil de comprender que la CONJUNCIN P^Q, se modeliza con los interruptores P y Q en serie, para que se encienda el bombillo indicando verdad o 1, tienen que estar cerrado los dos, si hay uno abierto, bombillo apagado, falso o 0:

______/ ______/ ______

En la DISJUNCIN los interruptores se disponen en paralelo de modo que con uno cerrado basta para bombillo encendido, verdadero o1.

__________/ __________ _____ _____

_________ / ___________
La Lgica Matemtica y los Circuitos Lgicos, han devenido en valiossimo sistema para el envo rpido y seguro, no slo de textos si no tambin de imgenes digitalizadas, Un ejemplo muy rudimentario pero elocuente de envo digital, se puede lograr disponiendo el receptor de digamos, 16 bombillos formando un cuadrado de 4x4 bombillos en un tablero, los cuales se puedan encender o apagar individualmente. Aplicando el convenio 1 encendido, 0 apagado, vamos a suponer que se quiere trasmitir la letra mayscula F, por cualquier medio que puede ser un simple telfono, se dicta la siguiente matriz:

1111 1000 111 1000

Quedarn encendidos los 1 y apagados los ceros, luciendo el cuadrado de esta forma:

XXXX X XXX X
Hemos presentado pues, de forma asequible lo esencial referente a la Lgica Matemtica incluyendo lo bsico de los Circuitos Lgicos y de la digitalizacin, proceso fundamental de la moderna Informtica. Joaqun Gonzlez lvarez j.gonzalez.a@hotmail.com