Beruflich Dokumente
Kultur Dokumente
DE ALGEBRA BOOLEANA
Las algebras booleanas son el resultado de los aportes a la Logica de George Boole,
matematico y logico ingles (1815-1864). Estas estructuras tienen mucha utilidad tanto
en la parte teorica de la Matematica como en sus aplicaciones. De manera mas sencilla,
un algebra booleana se define como un conjunto ordenado, con mas exactitud como un
retculo distributivo complementado. Esta vision de lugar a las operaciones de maxima
cota inferior, mnima cota superior y complemento, que de manera natural corresponden
a la conjuncion, la disyuncion y la negacion de la Logica. Por esta y otras razones, existe
un vnculo muy estrecho entre las algebras booleanas y la logica proposicional clasica.
Una de las muchas maneras de estudiar la logica proposicional es mediante los graficos
existenciales Alfa introducidos por Charles S. Peirce, cientfico, filosofo, matematico
e importante pionero de la Logica matematica (1839-1914). En un trabajo anterior,
realizado en la Universidad del Tolima [13], se demostro la equivalencia de la logica
proposicional tradicional con los graficos Alfa empleando las algebras booleanas. En
esa investigacion surgio una definicion nueva de la estructura de algebra booleana, en
la cual la regla de iteracion de los graficos se traduce en una identidad que se puede
llamar iterativa.
4
Todo este panorama sugiere la posibilidad de generalizar la definicion iterativa de las
algebras booleanas a otras estructuras, en especial a las algebras de Heyting y a los
semirretculos de Hilbert. Ese es el objetivo central del trabajo presente, y para lo-
grar tal meta en primer lugar es necesario conocer a fondo las estructuras involucradas:
algebras booleanas, algebras de Heyting, semirretculos de Hilbert y algebras de Hilbert.
Luego se precisa estudiar con mucho detalle la equivalencia de las definiciones tradi-
cionales de algebra booleana con la definicion iterativa. Por fin, sera posible proponer
definiciones nuevas, basadas en la iteracion, para las algebras de Heyting y los semi-
rretculos de Hilbert y demostrar su equivalencia con las definiciones usuales.
El informe final de esta investigacion consta de dos captulos. En el primero se hace el re-
cuento jerarquico de todas las algebras involucradas, partiendo de sus definiciones tradi-
cionales. Estas estructuras son los semirretculos, los retculos, las algebras booleanas,
las algebras de Heyting, las algebras de Hilbert y los semirretculos de Hilbert. En cada
caso se estudia una gran cantidad de propiedades, que luego seran muy utiles en las
generalizaciones. En el segundo captulo se presentan todas las definiciones alternativas,
cada una expresada en un teorema que establece su equivalencia con la correspondiente
definicion usual estudiada en el primer captulo.
5
Conclusiones
En la primera parte de este trabajo se estudio una amplia gama de estructuras orde-
nadas, desde los semirretculos hasta las algebras booleanas. Aunque el esquema sigue
bastante de cerca el desarrollo del trabajo [5] en su parte algebraica, en esta nueva
presentacion se logran algunas mejoras en detalles de pruebas y ejemplos.
Con estos resultados se demuestra una vez mas la utilidad de los cruces entre diferentes
areas de la ciencia. En este caso la Logica, y en especial los graficos existenciales
de Peirce y sus generalizaciones, aportan definiciones y caracterizaciones novedosas al
Algebra.
55
Bibliografa
[6] M. Castillo y A. Oostra, Algebras para la logica implicativa con conjuncion. En:
Matematicas: Ensenanza Universitaria XVIII No. 2 (Diciembre 2010) 3150.
[7] A. Gomez, Graficos Alfa para la logica implicativa con conjuncion. Trabajo de
Grado (carrera de Matematicas). Ibague: Universidad del Tolima, 2013.
56
[11] A. Oostra, Los graficos Alfa de Peirce aplicados a la logica intuicionista. En:
A. Oostra y F. Zalamea (Eds.), Cuadernos de Sistematica Peirceana 2. Bogota:
Centro de Sistematica Peirceana, 2010.
57