11-04-2016, 08:36
Hola gente linda, estoy haciendo un ejercicio de la guía de Piñeiro, es uno de esos de demostraciones de conjuntos
El enunciado es este : \[A\subseteq B \wedge B \cap C = \oslash \Rightarrow A\cap C = \oslash \]
Por lo que tengo entendido, tengo que empezar por el primer miembro de la tesis, lo pensé así pero no sé como seguirlo para llegar a la hipótesis
\[\forall x \in A\cap C \Rightarrow \sim \exists x \in A \wedge \sim \exists x \in C\]
Si alguno me da una pista se lo agradezco
Saludos!
El enunciado es este : \[A\subseteq B \wedge B \cap C = \oslash \Rightarrow A\cap C = \oslash \]
Por lo que tengo entendido, tengo que empezar por el primer miembro de la tesis, lo pensé así pero no sé como seguirlo para llegar a la hipótesis
\[\forall x \in A\cap C \Rightarrow \sim \exists x \in A \wedge \sim \exists x \in C\]
Si alguno me da una pista se lo agradezco
Saludos!