Professional Documents
Culture Documents
ALGEBRA DE BOOLE
Aplicaciones del Algebra de Boole
El Algebra de Boole se utiliza:
- en la formalización de los procesos
del razonamiento elemental
- en clasificaciones numéricas
Formalización de los procesos del
razonamiento elemental
Ejemplos:
Sean las siguientes premisas:
Algunas leyes son complicadas
ninguna ley confusa es satisfactoria
todas las leyes complicadas son
confusas
Conclusión: …………….. ?
Utilizamos los símbolos:
1 = clase de todas las leyes
A = clase de todas las leyes complicadas
B = clase de todas las leyes confusas
C = clase de todas las leyes satisfactorias
Las premisas serán:
0⊊ A
B⋂C = 0
A⊂B
B = B⋂1
= B ⋂(C⋃ C’)
= (B ⋂C) ⋃ (B ⋂ C’)
= 0 ⋃ (B ⋂ C’)
= B ⋂ C’ de esto se deduce
B ⊂ C’, por otra parte
0 ⊂ A ⊂ B ⊂ C’ ⇨ 0 ⊂ C’ (CONCLUSIÓN)
“Algunas leyes no son satisfactorias”
¿Qué conclusión puede obtenerse de
las siguientes proposiciones?
Todos los hombres son mortales
Sócrates es un hombre
¿Qué conclusión puede obtenerse de las
siguientes proposiciones?
a) Un hombre no feliz no es su propio jefe.
b) Todos los hombres casados tienen
responsabilidades.
c) Todo hombre es casado o es su propio
jefe o (ambos).
d) Ningún hombre con responsabilidades
puede ir de pesca todos los días.
solución
Designemos por:
1 = clase de todos los hombres
H = clase de hombres felices,
B = clase de hombres que son sus propios
jefes,
M = clase de hombres casados,
R = clase de hombres con responsabilidades,
F = clase de hombres que pescan todos los
días.
formalizando:
a) H’ ⊆ B’ ⇨ B ⊆ H
b) M ⊆ R ⇨ R’ ⊆ M’
c) M ⋃ B = 1 ⇨ M’ ⊆ B
d) R ⋂ F = 0 ⇨ F ⊆ R’
e) F ⊆ M’ por (d) y (b) transitividad
f) F ⊆ B por (e) y (c) transitividad
g) F ⊆ H por (f) y (a) transitividad
Conclusión: Todos los hombres que pescan
todos los días son felices
Clasificaciones numéricas
Sean
1 una clase universal
A = subclase de la clase universal
n(A) = número de elementos de la
clase A
Teorema.- n(AUB) = n(A) + n(B) –
n(A∩B)
Demostración
A = A∩1
= A∩(B∪B’)
= (A∩B)∪(A∩B’)
Las clases A∩B y A∩B’ son disjuntas
n(A) = n(A∩B)+n(A∩B’) (i)
B = B∩1
= B∩(A∪A’)
= (B∩A)∪(B∩A’) = (A∩B)∪(A’∩B)
Las clases (A∩B) y (A’∩B) son disjuntas
n(B) = n(A∩B) + n(A’∩B) (ii)
Sumando (i) y (ii): n(A)+ n(B) = 2n(A∩B)+n(A∩B’)+n(A’∩B) (*)
Por otra parte:
A∪B = (A∩1)∪(B∩1)
= [A∩(B∪B’)]∪[B∩(A∪A’)]
= (A∩B)∪(A∩B’)∪(B∩A)∪(B∩A’)
= (A∩B)∪(A∩B’)∪(A’∩B) (clases disjuntas)
n(A∪B) = n(A∩B) + n(A∩B’) + n(A’∩B) (**)
Reemplazando (**) en (*):
n(A)+ n(B) = n(A∪B) + n(A∩B)