RAZONAMIENTO LÓGICO MATEMÁTICO FWTH

GUIA DE PRÁCTICA DE RAZONAMIENTO

LÓGICO MATEMÁTICO
(Leyes del Álgebra de Conjuntos)

Mg. Fredy Wilfredo Tito Huayapa

Arequipa – Perú
2019

Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 1
RAZONAMIENTO LÓGICO MATEMÁTICO FWTH

TEMA

6
Competencia: Identifica y utiliza las leyes lógicas para simplificar operaciones con conjuntos
mostrando seguridad.

LEYES DEL ÁLGEBRA DE CONJUNTOS: Para A, B y C cualesquiera se cumplen:

1. PROPIEDADES DE LA UNIÓN:

 A A  A (Idempotencia)
 A   A (Propiedad del elemento neutro)
 A U  U
 A  B  B  A (Conmutatividad)
 ( A  B)  C  A  ( B  C) (Asociatividad)
 A  ( B  C )  ( A  B)  ( A  C ) (Distributividad)
 A  ( A  B) , B ; B  ( A  B) , A
 Si A  B    A   y B  
 Si A  B  ( A  C)  ( B  C) , C
 Si A  B  A  B  B

2. PROPIEDADES DE LA INTERSECCIÓN:

 A A  A (Idempotencia)
 A   
 A U  A (Propiedad del elemento neutro)
 A B  B  A (Conmutatividad)
 ( A  B)  C  A  ( B  C ) (Asociatividad)
 ( A  B)  A y ( A  B)  B
 Si A  B  ( A  C)  ( B  C) , C
 Si A  C y B  D  ( A  B)  (C  D)
 Si A  B  A  B  A
 P( A  B)  P( A)  P( B) ; B  ( A  B) , A
 A  ( B  C)  ( A  B)  ( A  C ) (Propiedad distributiva de la unión e intersección)
 A  ( B  C)  ( A  B)  ( A  C ) (Propiedad distributiva de la unión e intersección)
 A  ( A  B)  A (leyes de absorción)
 A  ( A  B)  A (leyes de absorción)
Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 2
RAZONAMIENTO LÓGICO MATEMÁTICO FWTH

3. PROPIEDADES DE LA DIFERENCIA:

 A A 
   A
 ( A  B)  A
 A  B  ( A  B)  B  A  ( A  B)
 B  ( A  B)  
 A  ( B  C)  ( A  B)  ( A  C) ; A  ( B  C)  ( A  B)  ( A  C) (Morgan)
 ( A  B)  C  ( A  C )  ( B  C ) ; ( A  B)  C  ( A  C )  B

4. PROPIEDADES DEL COMPLEMENTO:

 CBA  B y C AB  A
 A  A'  U o A  C AB  A
 A  A'   o A  CBA  
 U '   o C AA  
  '  U o C A  A
( A' )'  A o CBCB  A
A

 A  B  A  B' o A  B  A  C AB
 Si A  B  B'  A'
 ( A  B)'  A'  B' (ley de Morgan)
 ( A  B)'  A'  B' (ley de Morgan)

5. PROPIEDADES DE LA DIFERENCIA SIMÉTRICA:

 AA  
 A  A (Propiedad del elemento neutro)
 AB  BA (Conmutatividad)
 ( AB)C  A( BC ) (Asociatividad)
 ( AB)  C  ( A  C)( B  C ) (Distributividad)
 ( AB)  ( BC)  ( A  B  C)  ( A  B  C)

Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 3
RAZONAMIENTO LÓGICO MATEMÁTICO FWTH

Usando las leyes del álgebra de conjuntos, simplificar:

1. [( A  B)  B]  [( A'B' )'C ) Rpta:

2. [( A  B)  C ' ]'( B  C ) Rpta:

3. {[C  ( B  A' )]  [ B  (C  A)' ]'}  B Rpta:

4. Sean A, B y C tres conjuntos. Si B  C   entonces simplifique: Rpta:

[ A  ( B  C)]  ( A  B)  ( A  C )

5. Si A, B y C son conjuntos, simplificar usando propiedades:

 [( A  B)  C' ]'  [( B  C)  ( A' A)' ] Rpta:

 [(C' )'( B  A' )]  [ B  (C  A) ' ] ' ( B  U ) Rpta:

6. Dados los conjuntos A, B y C en U, simplificar la expresión: Rpta:

[ A( BC )][CB' ]

7. Si A  B , simplificar: A  [( B  A)  C  B' ]  A'  B' Rpta:

Si caminas solo, irás más rápido; si caminas acompañado, llegarás más lejos 4