lgebra de Boole

George Boole naci el 2 de noviembre de 1815 en Lincoln, Inglaterra. En 1835 abri su propio colegio.
Estudi los trabajos de Laplace y Lagrange y se inici en el lgebra. Public la solucin de ecuaciones
diferenciales en el "Transaction of the Royal Society". Gracias a este trabajo le concedieron la medalla de
la Real Sociedad. Fue nominado para una ctedra de matemticas en el Queens College, Cork en 1849.
En el ao 1854 public Una investigacin de las leyes del pensamiento sobre las cuales son basadas las
teoras matemticas de Lgica y Probabilidad. Comienza el lgebra de la lgica llamada Algebra
Booleana la cual ahora encuentra aplicacin en la construccin de computadores, circuitos elctricos, etc.
En 1859 se public el clculo de las diferencias finitas, "Tratado sobre el Clculo de las Diferencias
Finitas" (1860), y mtodos generales en probabilidad.
Public alrededor de 50 escritos y fue uno de los primeros en investigar las propiedades bsicas de los
nmeros, tales como la propiedad distributiva que fundamento los temas del lgebra. Recibi grandes
honores de las universidades de Dubln y Oxford y fue elegido miembro acadmico de la Real Sociedad
(1857).
Desarrollo:
Los conjuntos y las proposiciones satisfacen leyes semejantes. Estas leyes sirven para definir una
estructura matemtica abstracta denominada lgebra booleana.
Un algebra booleana es un conjunto B de elementos a, b, dotado de dos operadores binarias llamadas
suma y producto, que se denotan respectivamente por + y * tal que:

Dualidad en lgebra booleana:

El dual de un enunciado en un lgebra booleana (B, +, *) es el enunciado que resulta intercambiando + y
* y los elementos neutros U y 0 en el enunciado original; por ejemplo, el dual de es:

El dual de un teorema en un lgebra booleana es tambin un teorema. O sea que, si un enunciado es una
consecuencia de aquellos axiomas, porque el enunciado dual se puede demostrar mediante el dual, en
cada paso, de la demostracin del enunciado primitivo.
Teoremas fundamentales:
Si bien los cinco axiomas presentados anteriormente no abarcan todas las propiedades de los conjuntos y
de las proposiciones, es necesario saber los siguientes teoremas:

Orden en lgebra booleana:

Considrese el teorema siguiente:
Teorema 16-2: Sea
un lgebra booleana. Entonces las siguientes condiciones son equivalentes:
En vista del teorema anterior, se introduce la siguiente definicin:
Sea
un lgebra booleana. Se dice entonces que a es anterior a b, denotado
de las propiedades del Teorema 16-2.
Teorema 16-3: La relacin definida en un lgebra booleana por
B, es decir:

si es vlida una

es una relacin de orden parcial en

Si no se dice otra cosa, se supone que un lgebra booleana est ordenada parcialmente por la anterior
definicin.
La relacin entre las propiedades del orden parcial en un lgebra booleana B y las operaciones de B se
dan en el siguiente teorema.
Teorema 16-4: Sea

un lgebra booleana. Entonces

Un conjunto parcialmente ordenado A tal que para cualesquiera elementos a, b A existen inf {a, b} y
sup {a, b}, se llama retculo. As, pues, un lgebra booleana es un tipo especial de retculo.

Ejercicios:
1. Demostrar el Teorema 16-1-1 (ley de idempotencia):

2.

Demostrar el Teorema 16-1-2:

3.

Demostrar el Teorema 16-1-3 (ley de involucin):

; esto es, si

4. Demostrar la unicidad de los elementos neutros, esto es, que:

(a) Si
son elementos neutros aditivos, entonces
(b) Si
son elementos neutros multiplicativos, entonces

5.

Demostrar el Teorema 16-1-4: Los elementos neutros son complementos el uno del otro, esto es,

Bibliografa:
Lipschutz, S. (2000). Teora de Conjuntos y temas afines. Mxico: McGRAW-HILL.