Que conceptos debo de apropiarme para demostrar con conjuntos
Estoy viendo demostraciones de conjuntos que libro me recomendarían e estoy intentado demostrar AUB=AU(B-A)
1 Respuesta
Respuesta de Karl Mat
______..._____
$$\begin{align}&x\in A\cup(B-A)\iff x\in A\vee x\in(B-A)\\&\\&x\in A\cup(B-A)\iff x\in A\vee (x\in B \wedge x\notin A)\\&\\&x\in A\cup(B-A)\iff x\in A\vee (x\notin A \wedge x\in B)~~~\textit{(Ley conmutativa de la conjunción)}\\&\\&x\in A\cup(B-A)\iff x\in A\vee [\neg (x\in A) \wedge x\in B]\\&\\&x\in A\cup(B-A)\iff x\in A\vee x\in B~~~~\textit{(Ley de absorción)}\\&\\&x\in A\cup(B-A)\iff x\in A\cup B~~~~\textit{(def. $\cup$)}\\&\\&A\cup(B-A)= A\cup B\\&\end{align}$$
