Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Matemática
Logica Matemática
=
A
A A
U
=
A
A
A
A
U U
U
A
A
A
Figura No. 35
A
U U U
U =
A
U
=
U
U
Figura No. 34
A
U
U
U
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Qu tienen en comn A y el universo?
Qu tienen en comn A y el vaco? :
c) Leyes del complemento:
A U A' = U A A' =
(A' )' = A ' = U
Qu se obtiene de unir A con lo que no es A?
41
Figura No. 36
A
U U
=
A
U
Figura No. 37
A
U
=
Figura No. 38
A
U U
U
U =
A
U
U
Qu tienen comn A con lo que no es A?
d) Leyes de D Morgan:
(A U B)' = A' B'
(A B)' = A' U B'
La demostracin grfica de (A U B)' = A' B' es la siguiente:
As hemos encontrado el rea que representa a la primera parte de la igualdad, ahora representamos
la segunda parte, se espera que los resultados sean iguales:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
42
Figura No. 39
A
U U U
=
A
U
8
9
7
A
B
4
1
3
2
6
5
A U B
U
8
9
7
A
B
4
1
3
2
6
5
(A U B)
Figura No. 40
9
A
U
8
7
A
B
4
1
3
2
6
5
U
B
8
9
7
A
B
4
1
3
2
6
5
U
A' B'
8
9
7
A
B
4
1
3
2
6
5
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejercicio propuesto:
Realiza la demostracin grfica del teorema de D Morgan para: (A B)' = A' U B' para ello subraya
el rea correspondiente.
Primera parte
Las anteriores leyes estn formuladas por pares, lo cual verifica la naturaleza dual de la teora de conjuntos.
Ejercicio propuesto:
Simplificar aplicando las leyes del Algebra de conjuntos:
1) ( (A B)' )
2) (A ) ( ( (B)' ) )
3) (A' U A' ) U B'
4) (A )'
5) (A )'
43
Figura No. 41
9
______
U
8
7
A
B
4
1
3
2
6
5
U
____
8
9
7
A
B
4
1
3
2
6
5
U
_______
8
9
7
A
B
4
1
3
2
6
5
9
______
U
8
7
A
B
4
1
3
2
6
5
U
____
8
9
7
A
B
4
1
3
2
6
5
U
_______
8
9
7
A
B
4
1
3
2
6
5
6) (A U ) '
7) (A A)' U (A' U A' )
8) (A U A ) '
9) (A A ) ' U A'
10) ( (A ) U U )' A'
Segunda parte de la igualdad A' U B':
1.1.6.Principio de dualidad
Si se intercambian las operaciones unin (U) por interseccin ( ), como tambin el conjunto universal (U)
por el conjunto vaco (), en cualquier razonamiento sobre conjuntos, el enunciado resultante se llama
DUAL del primero.
Ejemplo 1.
Demostrar que el dual de;
(U U B) (A U ) = A es:
( B) U (A U) = A
Tomando la primera parte y por las leyes de identidad se tiene que:
(U U B) (A U )
U A = A
Ahora, considerando la segunda y nuevamente aplicando las leyes de identidad se tiene que:
( B) U (A U)
U A = A
Con lo cual queda demostrado.
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
44
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
Ejemplo 2.
Demostrar que el dual de
(A B) U (A B') = A es
(A U B) (A U B') = A
En este caso se puede hacer la demostracin en forma grfica as:
i) La primera parte se puede representar de la siguiente forma:
figura No.42 primera parte
45
9
A
U
8
7
A
B
4
1
3
2
6
5
U
B
8
9
7
A
B
4
1
3
2
6
5
U
A B'
8
9
7
A
B
4
1
3
2
6
5
9
A
U
8
7
A
B
4
1
3
2
6
5
9
U
( A B' )
8
7
A
B
4
1
3
2
6
5
9
U
( A B )
8
7
A
B
4
1
3
2
6
5
U =
Segunda parte: (A U B) (A U B') = A
i) La segunda parte se puede representar de la siguiente forma:
__________________________________________________________________________
Universidad Nacional Abierta y a Distancia UNAD. comentarios en: georffrey@gmail.com
46
9
A
U
8
7
A
B
4
1
3
2
6
5
U
B
8
9
7
A
B
4
1
3
2
6
5
9
A
U
8
7
A
B
4
1
3
2
6
5
=
A U B
8
9
U
A
4 1
3
B
6
5
7
2
9
U
( A U B )
8
7
A B
4
1
3
2
6
5
A U B
8
9
U
A
4
1
3
B
6
5
7
2
Figura No.43 segunda parte (A U B) (A U B') = A
ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA
MODULO DE LOGICA MATEMTICA
47
Captulo
2
2
Principios de lgica.
y
o v
No ~
Si entonces
S y slo si
o
v
No
~
Si entonces
S y slo si