Hola buenas tardes como va, queria consultar si esta bien demostrarlo de esta forma o deberia cambiar el formato
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.