Jueves 30 de septiembre del 2021

Ejercicios de producto Cartesiano.

Recordemos la definición:

AXB = xEA ^ yEB

Ejercicio:

1.- A X ( B / D ) = ( A X B ) \ ( A X D )

2.- [A X ( B / D ) → ( A X B ) \ ( A X D )] ^ {( A X B ) \ ( A X D ) → A X ( B / D )]
(Equivalencia material 1)

3.- [A X ( B / D ) → ( A X B ) \ ( A X D )] (Simplificación 2)

4.- A X ( B / D ) (Supuesto, premisa adicional)

5.- xEA ^ yE ( B / D ) (Definición del producto cartesiano)

6.- xEA ^ yE ( yEB ^ ¬yED ) (Definición de la diferencia 5)

7.- xEA (Simplificación 6)

8.- yE ( yEB ^ ¬yED ) (Simplificación 6)

9.- yEB (Simplificación 8)

10.- ¬yED (Simplificación 8)

11.- xEA ^ yEB (Conjunción 7,9)

12.- ¬yED v ¬xEA (Adición 10)

13.- ¬xEA v ¬yED (Conmutación)

14.- ¬( xEA ^ yED ) ( Morgan 13)

15.- (xEA ^ yEB) ^ ¬( xEA ^ yED ) (Conjunción 11, 14)

16.- (xEA ^ yEB) / ( xEA ^ yED ) (Definición de diferencia 15)

17.- ( A X B ) / ( A X D ) (Definición de producto Cartesiano)

18.- A X ( B / D ) → ( A X B ) / ( A X D ) (Condicionalización 4,17)

19.- ( A X B ) \ ( A X D ) → A X ( B / D) (Simplificación 2)

20.- ( A X B ) \ ( A X D ) (Supuesto, premisa adicional)

21.- ( xEA ^ yEB ) / ( xEA ^ yED) (Definición de producto cartesiano)

22.- ( xEA ^ yEB ) ^ ¬( xEA ^ yED) (Definición de diferencia)

23.- ( xEA ^ yEB ) (Simplificación 22)

24.- xEA ( Simplificación 23)

25.- yEB (Simplificación 23)

26.- ¬( xEA ^ yED) (Simplificación 22)

27.- ¬ xEA v ¬yED ( Morgan 26)

28.- ¬yED (Silogismo disyuntivo 24, 27)

29.- yEB ^ ¬yED ( Conjunción 25, 28)

30.- xEA ^ ( yEB ^ ¬yED ) ( Conjunción 24, 19)

31.- xEA ^ yE ( B / D ) (Definición de la diferencia)

32.- A X ( B / D ) ( Definición de producto cartesiano)

33.- ( A X B ) \ ( A X D ) → A X ( B / D ) ( Condicionalización 20, 32)

34.- A X ( B / D ) → ( A X B ) / ( A X D ) ^ ( A X B ) \ ( A X D ) → A X ( B / D ) (
Conjunción 18, 34)

35.- A X ( B / D ) = ( A X B ) \ ( A X D ) (Equivalencia material 34)

C’ = ¬xEC