Está en la página 1de 6

GENERALIZACIONES DE UNA DEFINICION ITERATIVA

DE ALGEBRA BOOLEANA

OSCAR FABIAN CAVIEDES BARRIOS

LEIDY GEOVANA LOZANO RENDON

UNIVERSIDAD DEL TOLIMA


FACULTAD DE CIENCIAS BASICAS
PROGRAMA DE MATEMATICAS CON ENFASIS EN ESTADISTICA
IBAGUE
2014
Introduccion

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.

Las algebras booleanas tienen muchas generalizaciones. Desde el punto de vista de


la Logica, el calculo proposicional clasico se generaliza a la logica proposicional intui-
cionista y esta a su vez a la logica implicativa. Por esta va, las generalizaciones
naturales de las algebras booleanas son las algebras de Heyting y las algebras de Hilbert.
Estas estructuras tambien se han estudiado en la Universidad del Tolima, vease el
trabajo [5] que a su vez dio lugar al artculo [6]. De manera reciente, investigaciones
realizadas en esta misma Universidad han permitido introducir sistemas de graficos
existenciales Alfa al estilo de Peirce para estas logicas, vease el trabajo [7] y el artculo
[11].

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.

El material contenido en el primer captulo se encuentra en la literatura matematica,


salvo quizas el orden, la presentacion y algunas propiedades muy particulares que se
demuestran all. En cambio el captulo 2 es muy novedoso, pues casi todas las nociones
y los enunciados son originales, excepto algunas pocos resultados que se tomaron de
trabajos anteriores indicando el credito respectivo. Sin embargo, se puede asegurar que
todas las demostraciones de ese captulo fueron pensadas y elaboradas en el proceso de
investigacion conjunto de los autores y el director de este trabajo de grado.

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.

El aporte significativo de este trabajo consiste en las novedosas definiciones iterativas


de cuatro estructuras, presentadas en la segunda parte del documento. Se obtuvo una
caracterizacion novedosa de los retculos distributivos y una definicion de semirretculo
de Hilbert ligeramente mas sencilla que la original, contenida en el trabajo [7]. Se pre-
sentaron tres definiciones iterativas de las algebras booleanas, una de ellas aparece en
el trabajo [13] y aqu se simplifico la prueba en algunos aspectos. Para terminar, se ob-
tuvieron no menos de cuatro definiciones alternativas de las algebras de Heyting. Estas
caracterizaciones son del todo originales y no se encuentran en la literatura matematica
disponible.

El caracter iterativo de las definiciones reside en la presencia de las siguientes identi-


dades.
a b = a (a b)
a (b c) = a ((a b) c)
a b = a (a b)
a (b c) = a ((a b) c)
En todas ellas, el elemento a se repite o itera dentro del alcance de alguna operacion.

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

[1] G. Birkhoff, Lattice Theory. Providence (Rhode Island): American Mathematical


Society, 1940.

[2] W. J. Blok and D. Pigozzi, Abstract Algebraic Logic. Preprint. 1995.

[3] S. Burris and H. P. Sankappanavar, A Course in Universal Algebra. Graduate Texts


in Mathematics 78. New York: Springer-Verlag, 1981. Disponible en Internet:
http://www.math.uwaterloo.ca/snburris/htdocs/ualg.html
http://www.math.sc.edu/mcnulty/alglatvar/burrissanka.pdf

[4] X. Caicedo, Elementos de Logica y Calculabilidad. Bogota: Universidad de los


Andes, 1990.

[5] M. Castillo, Logicas Implicativas y sus Algebras. Trabajo de Grado (carrera de


Matematicas). Ibague: Universidad del Tolima, 2009.

[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.

[8] S. Mac Lane and G. Birkhoff, Algebra. London: MacMillan, 1967.

[9] A. Oostra, Temas de Conjuntos Ordenados. Decimo Coloquio Distrital de Mate-


maticas y Estadstica. Bogota: Universidad Nacional de Colombia, 1993.

[10] A. Oostra, Algebras de Heyting. Decimocuarto Coloquio Distrital de Matematicas


y Estadstica. Bogota: Universidad Pedagogica Nacional, 1997.

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.

[12] H. Rasiowa, An Algebraic Approach to Non-classical Logics. Amsterdam: North-


Holland, 1974.

[13] J. E. Taboada y E. D. Rodrguez, Una demostracion de la equivalencia entre los


graficos Alfa y la logica proposicional. Trabajo de Grado (carrera de Matematicas).
Ibague: Universidad del Tolima, 2010.

[14] F. Zalamea, Calculos proposicionales. Notas de clase ineditas. 1993.

57