Académique Documents
Professionnel Documents
Culture Documents
ndice
[ocultar]
1 Historia
2 Definicin
o 2.1 Axiomas necesarios
o 2.2 Teoremas fundamentales
o 2.3 Orden en el lgebra de Boole
o 2.4 Principio de dualidad
4.1.1 Axiomas
4.2.1 Axiomas
4.3.1 Axiomas
7 Vase tambin
8 Enlaces externos
9 Referencias
10 Bibliografa
[editar] Historia
Se denomina as en honor a George Boole (2 de noviembre de 1815 a 8 de diciembre de
1864), matemtico ingls autodidacta, que fue el primero en definirla como parte de un
sistema lgico, inicialmente en un pequeo folleto: The Mathematical Analysis of Logic,1
publicado en 1847, en respuesta a una controversia en curso entre Augustus De Morgan y
Sir William Hamilton. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas
para tratar expresiones de la lgica proposicional. Ms tarde como un libro ms importante:
The Laws of Thought,2 publicado en 1854.
En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del
diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de
conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar a dos campos:
Al anlisis, porque es una forma concreta de describir como funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar una
implementacin de la funcin.
[editar] Definicin
Dado un conjunto:
definido:
en el que se ha
por la que definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le asigna
un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado de sumar a con b.
Con lo que definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le asigna
un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado del producto a y b.
Dada la definicin del lgebra de Boole como una estructura algebraica genrica, segn el
caso concreto de que se trate, la simbologa y los nombres de las operaciones pueden variar.
son un lgebra
9: Ley de involucin:
Producto
1
2
3
4
5
6
7
8
9
Otra forma en la lgebra de conjuntos del lgebra de Boole, las leyes de De Morgan seran
as:
Desde el punto de vista prctico existe una forma simplificada de representar expresiones
booleanas. Se emplean apstrofos (') para indicar la negacin, la operacin suma (+) se
representa de la forma normal en lgebra, y para el producto no se emplea ningn signo, las
variables se representan, normalmente con una letra mayscula, la sucesin de dos
variables indica el producto entre ellas, no una variable nombrada con dos letras.
La representacin de las leyes de De Morgan con este sistema quedara as, con letra
minsculas para las variables:
Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al
consultar bibliografa. La utilizacin de una u otra notacin no modifica el lgebra de
Una serie de temas, aparentemente tan distintos, tiene dos cosas en comn, la lgica binaria
basada en los ceros y los unos y el lgebra de Boole, posiblemente la forma ms conocida
de este lgebra, que en ocasiones da lugar a la interpretacin que el lgebra de Boole es la
lgica binaria exclusivamente, as el conjunto en este caso esta formado por dos
elementos {0,1}, o {F,V}, o {no, si}, dos valores contrapuestos, que son las dos posibles
alternativas entre dos situaciones posibles, aqu, sin perdida de la generalidad, tomaremos
el conjunto: {0,1} como ya hemos dicho:
Donde:
La operacin unaria interna negacin, definimos una aplicacin que a cada elemento a de
{0,1}, le asigna un b de {0,1}.
Para todo elemento a en {0.1}, se cumple que existe un nico b en {0,1}, tal que b es la
negacin de a. Como se ve en la tabla.
Con la operacin suma definimos una aplicacin que, a cada par ordenado (a, b) de B por
B, le asigna un c de B.
Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado de sumar a con b.
Con la operacin producto definimos una aplicacin que, a cada par ordenado (a, b) de B
por B, le asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado del producto a y b. Como se puede ver en la tabla.
[editar] Axiomas
As
Luego
es lgebra de boole.
9: Ley de involucin:
Partiendo de
lgebra de Boole, dadas dos variables binarias: a, b, que
cumplen alguna de estas condiciones:
entonces a es menor o igual que b. Dados los valores binarios 0 y 1, podemos ver:
1.
2.
3.
4.
Estas cuatro condiciones son equivalentes y el cumplimiento de una de ellas supone el
cumplimiento de las otras, en este caso es sencillo comprobarlas todas. Luego podemos
decir que 0 antecede a 1 y lo denotamos:
Y como es obvio:
En esta operacin definimos una aplicacin que, a cada elemento A de P(U), le asigna un B
de P(U).
Para todo elemento A en P(U), se cumple que existe un nico B en P(U), tal que B es el
complemento A.
Definiendo el complemento de un conjunto as:
Con esta operacin binaria interna definimos una aplicacin que, a cada par ordenado (A,
B) de P(U) por P(U), le asigna un C de P(U).
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U),
tal que C es la unin A y B.
Definiendo la unin de dos conjuntos como:
Con lo que definimos una aplicacin que, a cada par ordenado (A, B) de P(U) por P(U), le
asigna un C de P(U).
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U),
tal que C es la interseccin A y B.
Definiendo la interseccin de dos conjuntos como:
Concluyendo que
es un lgebra de boole.
9: Ley de involucin:
1.
2.
3.
4.
Para los conjuntos A y B que cumplen estas propiedades, podemos decir que A antecede a
B, que en el caso de conjuntos se dira A es igual o un subconjunto de B y lo denotamos:
'Hoy es mircoles.'
'x = 3'
'mcd(a, b) = 2n + 1'
Dado que cada una de ellas puede ser verdadera o falsa, las proposiciones suelen designarse
con letra:
p= 'Llueve'
q= 'Llueve mucho'
r= 'Llevo paraguas'
La operacin unaria interna negacin, definimos una aplicacin que a cada proposicin a,
le asigna otra poposicin b.
Para toda proposicin a, se cumple que existe una nica proposicin b, tal que b es la
negacin de a.
Con la operacin disyuncin, definimos una aplicacin que a cada par ordenado (a, b) de B
por B, le asigna un c de B.
Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado de la disyuncin de a y b.
Con la operacin conjuncin definimos una aplicacin que, a cada par ordenado (a, b) de B
por B, le asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es
el resultado de la conjuncin de a y b.
[editar] Axiomas
As
Luego
es lgebra de boole.
9: Ley de involucin:
Para las proposiciones: a, b que cumplen alguna de estas condiciones se puede afirmar que
a antecede a b. Que en el caso de proposiciones o predicados se dice que a es tanto o ms
fuerte que b, o que b es ms dbil que a, y lo representamos:
a= Llueve mucho
b= Llueve
podemos ver:
La proposicin llueve mucho es tanto o ms fuerte que llueve, la afirmacin llueve mucho
es un caso particular o el mismo caso de llueve.
De una forma similar al lgebra binaria, o cualquier otra lgebra de Boole, La definicin
del lgebra con solo dos operaciones complica las expresiones, pero permite determinar
ciertas relaciones muy tiles, as como otras operaciones distintas.
En el lgebra de Boole definido en un conjunto las operaciones son internas, dado que
parte de elemento de , para obtener un resultado en .
Sin perdida de la generalidad, y dado los distintos formas que puede adoptar el lgebra de
Boole consideraremos la lgica proposicional con las proposiciones: a, c, b, etc. Que
pueden tomar los valores verdadero: V o falso: F. Y las conectivas lgicas sobre esas
proposiciones que dan como resultado otras proposiciones lgicas, cada proposicin: a, b,
c, etc. Define un conjunto A, B, C, etc. Que podemos representar de forma grfica en un
diagrama de Venn.
La contradiccin, por el contrario, presenta siempre el valor falso, sin necesitar argumentos
o independientemente de los argumentos presentados. En teora de conjuntos corresponde
al conjunto vaco.
En lgica proposicional corresponde al valor: falso:
La operacin negacin lgica de una variable presenta el valor contrario del argumento, o
los casos contrarios de los recogidos en el argumento.
La conjuncin lgica presenta resultado cierto solo cuando sus dos argumentos son ciertos.
La Negacin alternativa presenta resultado cierto en todos los casos excepto cuando sus dos
argumentos son ciertos. Esta operacin es la negacin de la conjuncin.
La disyuncin lgica acepta dos argumentos presentando como resultado cierto si uno u
otro de los argumentos es cierto.
La disyuncin puede expresarse:
La Negacin conjunta presenta resultado cierto solo cuando sus dos argumentos son falsos.
Esta operacin es la negacin de la disyuncin.
La bicondicional presenta resultado verdadero si los dos argumentos son iguales, esto es: si
a y b son ciertos o si a y b son falsos.
La disyuncin exclusiva presenta resultado verdadero si los dos argumentos son dispares,
esto es si de los dos argumentos uno es verdadero y otro falso, es la negacin de la
bicondicional:
Esta operacin tambin se llama o exclusivo, uno o el otro pero no los dos, le corresponde
la puerta lgica: XOR.
4: El resultado de sustituir en una formula bien formada, una variable o constante por una
formula bien formada:
La aplicacin repetida de estos criterios dar siempre una formula bien formada.
ejemplo:
Se podrn emplear tantos parntesis como sean necesarios para evitar ambigedades,
evitando siempre la utilizacin superflua de parntesis.