UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

Facultad de Estudios Superiores Acatlán

Filosof ía

Martínez Durán Luis Adrián

Lógica de conjuntos
Primer ejercicio:
1.- A u B = B u A
2.- [(A u B) → (B u A)] ^ [ (B u A) → (A u B)] Equivalencia material, 1
3.- (A u B) → (B u A) (Simp. 2)
4.- (B u A) → (A u B) (ignorar, me apresuré)
5.- (A u B) (Adición)
Aquí tenemos que convertir la unión el lenguaje lógico.
6.- xEA v xEB (Definición de unión 4)
7.- xEB v xEA (conmutación de la 6)
8.- B u A (definición de la 7)
9.- A u B → B u A (Condicionalización 5,8)

10.- B u A → A u B (Simp, 2)
11.- B u A (Adición)
12.- xEB v xAB (Definición de unión 10)
13.- xAB v xEB (Conmutación de la 12)
14.- A u B (Definición de la 13)
15.- B u A → A u B (condicionalización 11, 15)
16.- (A u B → B u A) ^ (B u A → A u B) (Conjunción 9, 15)
17.- A u B = B u A (Equivalencia material, 16)

Segundo ejercicio:
1.- A u ( B n C) = ( A u C ) n ( A u B )
2- {[A u ( B n C)] → ( A u C ) n ( A u B )} ^ {( A u C ) n ( A u B ) → [A u ( B n C)]}
(Equivalencia material 1)
3.- {[A u ( B n C)] → ( A u C ) n ( A u B )} (Simp, 2)
 UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

Facultad de Estudios Superiores Acatlán

Filosof ía

4.- A u ( B n C) (Supuesto, premisa adicional))

5.- xEA v xE( B n C ) (Primer definición 4)
6.- xEA v xE( xEB ^ xEC) (Segunda definción 5)
7.- (xEA v xEB ) ^ ( xEA v xEC )(distribución 6)
8.- ( xEA v xEC ) ^ (xEA v xEB ) (Conmutación 7)
9.- (A u C) n ( A u B ) (definición de la 8)
10.- A u ( B n C) → (A u C) n ( A u B ) (Condicionalización 9)

11.- {( A u C ) n ( A u B ) → [A u ( B n C)]} (Simplificación 2)

12.- ( A u C ) n ( A u B ) (Supuesto, premisa adicional)
13.- ( xEA v xEC ) n ( xEA v xEB) (Primer definición 12)
14.- ( xEA v xEC ) ^ ( xEA v xEB) (Segunda definición 12)
15.- xEA v ( xEB ^ xEC ) (Distribución 14)
16.- A u ( xEB ^ xEC ) (Primera definición 15)
17.- A u ( B n C ) (Segunda definición 15)
18.- ( A u C ) n ( A u B ) → A u ( B n C ) (Condicionalización 12, 17)
19.- A u ( B n C) → (A u C) n ( A u B ) ^ ( A u C ) n ( A u B ) → A u ( B n C )
(Conjunción 10, 18)
20.- A u ( B n C) = ( A u C ) n ( A u B ) (Equivalencia material 19)