1) luego que dices que la igualdad se prueba la doble inclusión escribes que la igualdad IMPLICA la doble inclusión. Tú quieres probar la igualdad, es decir, probarás la doble inclusión y esta implicará la igualdad (de hecho es la definición).
Cuando pasas a demostrar esto, tomas un elemento x en C\(AUB)... debes decir que x está en C pero no en A ni en B. La notación con una C de exponente refiere al complemento de A, dentro de un conjunto mayor sobreentendido.
Está bastante bien igual. Pero en definitiva, si A, B y C son tres conjuntos cualesquiera, evita la notación A complemento para designar C\A... si escribes x pertenece a C y x no pertenece a A todo irá mejor (obviamente será exactamente lo mismo cuando los dos conjuntos A y B estén contenidos en C).
2) Te sugiero no utilizar el símbolo => en lugar de la palabra entonces, en matemática ese símbolo se utiliza para componer una proposición del tipo
( P => Q ) que puede ser falsa o verdadera...
pero esencialmente está correcto.
Cuando pasas a demostrar esto, tomas un elemento x en C\(AUB)... debes decir que x está en C pero no en A ni en B. La notación con una C de exponente refiere al complemento de A, dentro de un conjunto mayor sobreentendido.
Está bastante bien igual. Pero en definitiva, si A, B y C son tres conjuntos cualesquiera, evita la notación A complemento para designar C\A... si escribes x pertenece a C y x no pertenece a A todo irá mejor (obviamente será exactamente lo mismo cuando los dos conjuntos A y B estén contenidos en C).
2) Te sugiero no utilizar el símbolo => en lugar de la palabra entonces, en matemática ese símbolo se utiliza para componer una proposición del tipo
( P => Q ) que puede ser falsa o verdadera...
pero esencialmente está correcto.