Está en la página 1de 6

GENERALIZACIONES DE UNA DEFINICIÓN ITERATIVA

DE ÁLGEBRA BOOLEANA

OSCAR FABIÁN CAVIEDES BARRIOS

LEIDY GEOVANA LOZANO RENDÓN

UNIVERSIDAD DEL TOLIMA
FACULTAD DE CIENCIAS BÁSICAS
PROGRAMA DE MATEMÁTICAS CON ÉNFASIS EN ESTADÍSTICA
IBAGUÉ
2014
Introducción

Las álgebras booleanas son el resultado de los aportes a la Lógica de George Boole,
matemático y lógico inglés (1815-1864). Estas estructuras tienen mucha utilidad tanto
en la parte teórica de la Matemática como en sus aplicaciones. De manera más sencilla,
un álgebra booleana se define como un conjunto ordenado, con más exactitud como un
retı́culo distributivo complementado. Esta visión de lugar a las operaciones de máxima
cota inferior, mı́nima cota superior y complemento, que de manera natural corresponden
a la conjunción, la disyunción y la negación de la Lógica. Por esta y otras razones, existe
un vı́nculo muy estrecho entre las álgebras booleanas y la lógica proposicional clásica.

Una de las muchas maneras de estudiar la lógica proposicional es mediante los gráficos
existenciales Alfa introducidos por Charles S. Peirce, cientı́fico, filósofo, matemático
e importante pionero de la Lógica matemática (1839-1914). En un trabajo anterior,
realizado en la Universidad del Tolima [13], se demostró la equivalencia de la lógica
proposicional tradicional con los gráficos Alfa empleando las álgebras booleanas. En
esa investigación surgió una definición nueva de la estructura de álgebra booleana, en
la cual la regla de iteración de los gráficos se traduce en una identidad que se puede
llamar iterativa.

Las álgebras booleanas tienen muchas generalizaciones. Desde el punto de vista de
la Lógica, el cálculo proposicional clásico se generaliza a la lógica proposicional intui-
cionista y esta a su vez a la lógica implicativa. Por esta vı́a, las generalizaciones
naturales de las álgebras booleanas son las álgebras de Heyting y las álgebras de Hilbert.
Estas estructuras también se han estudiado en la Universidad del Tolima, véase el
trabajo [5] que a su vez dio lugar al artı́culo [6]. De manera reciente, investigaciones
realizadas en esta misma Universidad han permitido introducir sistemas de gráficos
existenciales Alfa al estilo de Peirce para estas lógicas, véase el trabajo [7] y el artı́culo
[11].

4
Todo este panorama sugiere la posibilidad de generalizar la definición iterativa de las
álgebras booleanas a otras estructuras, en especial a las álgebras de Heyting y a los
semirretı́culos 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:
álgebras booleanas, álgebras de Heyting, semirretı́culos de Hilbert y álgebras de Hilbert.
Luego se precisa estudiar con mucho detalle la equivalencia de las definiciones tradi-
cionales de álgebra booleana con la definición iterativa. Por fin, será posible proponer
definiciones nuevas, basadas en la iteración, para las álgebras de Heyting y los semi-
rretı́culos de Hilbert y demostrar su equivalencia con las definiciones usuales.

El informe final de esta investigación consta de dos capı́tulos. En el primero se hace el re-
cuento jerárquico de todas las álgebras involucradas, partiendo de sus definiciones tradi-
cionales. Estas estructuras son los semirretı́culos, los retı́culos, las álgebras booleanas,
las álgebras de Heyting, las álgebras de Hilbert y los semirretı́culos de Hilbert. En cada
caso se estudia una gran cantidad de propiedades, que luego serán muy útiles en las
generalizaciones. En el segundo capı́tulo se presentan todas las definiciones alternativas,
cada una expresada en un teorema que establece su equivalencia con la correspondiente
definición usual estudiada en el primer capı́tulo.

El material contenido en el primer capı́tulo se encuentra en la literatura matemática,
salvo quizás el orden, la presentación y algunas propiedades muy particulares que se
demuestran allı́. En cambio el capı́tulo 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 crédito respectivo. Sin embargo, se puede asegurar que
todas las demostraciones de ese capı́tulo fueron pensadas y elaboradas en el proceso de
investigación conjunto de los autores y el director de este trabajo de grado.

5
Conclusiones

En la primera parte de este trabajo se estudió una amplia gama de estructuras orde-
nadas, desde los semirretı́culos hasta las álgebras booleanas. Aunque el esquema sigue
bastante de cerca el desarrollo del trabajo [5] en su parte algebraica, en esta nueva
presentación 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
caracterización novedosa de los retı́culos distributivos y una definición de semirretı́culo
de Hilbert ligeramente más sencilla que la original, contenida en el trabajo [7]. Se pre-
sentaron tres definiciones iterativas de las álgebras booleanas, una de ellas aparece en
el trabajo [13] y aquı́ se simplificó la prueba en algunos aspectos. Para terminar, se ob-
tuvieron no menos de cuatro definiciones alternativas de las álgebras de Heyting. Estas
caracterizaciones son del todo originales y no se encuentran en la literatura matemática
disponible.

El carácter 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 operación.

Con estos resultados se demuestra una vez más la utilidad de los cruces entre diferentes
áreas de la ciencia. En este caso la Lógica, y en especial los gráficos existenciales
de Peirce y sus generalizaciones, aportan definiciones y caracterizaciones novedosas al
Álgebra.

55
Bibliografı́a

[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 Lógica y Calculabilidad. Bogotá: Universidad de los
Andes, 1990.

[5] M. Castillo, Lógicas Implicativas y sus Álgebras. Trabajo de Grado (carrera de
Matemáticas). Ibagué: Universidad del Tolima, 2009.

[6] M. Castillo y A. Oostra, “Álgebras para la lógica implicativa con conjunción”. En:
Matemáticas: Enseñanza Universitaria XVIII No. 2 (Diciembre 2010) 31–50.

[7] A. Gómez, Gráficos Alfa para la lógica implicativa con conjunción. Trabajo de
Grado (carrera de Matemáticas). Ibagué: Universidad del Tolima, 2013.

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

[9] A. Oostra, Temas de Conjuntos Ordenados. Décimo Coloquio Distrital de Mate-
máticas y Estadı́stica. Bogotá: Universidad Nacional de Colombia, 1993.

[10] A. Oostra, Álgebras de Heyting. Decimocuarto Coloquio Distrital de Matemáticas
y Estadı́stica. Bogotá: Universidad Pedagógica Nacional, 1997.

56
[11] A. Oostra, “Los gráficos Alfa de Peirce aplicados a la lógica intuicionista”. En:
A. Oostra y F. Zalamea (Eds.), Cuadernos de Sistemática Peirceana 2. Bogotá:
Centro de Sistemática Peirceana, 2010.

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

[13] J. E. Taboada y E. D. Rodrı́guez, Una demostración de la equivalencia entre los
gráficos Alfa y la lógica proposicional. Trabajo de Grado (carrera de Matemáticas).
Ibagué: Universidad del Tolima, 2010.

[14] F. Zalamea, Cálculos proposicionales. Notas de clase inéditas. 1993.

57