# Thread: Proof or disproof the following

1. ## Proof or disproof the following

I have been asigned this problem in class.

$C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A$

Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

$(C \Rightarrow A) \Rightarrow (A \vee B) \wedge (C \Rightarrow A )$

Is this correct?

2. Originally Posted by gordo151091
I have been asigned this problem in class.
$C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A$
For any two sets $C~\&~B$ it is true that $B\cap C\subseteq C$.
What is there to prove then?

3. Originally Posted by gordo151091
I have been asigned this problem in class.

$C\subseteq A \Rightarrow (A \cup B) \cap C \subseteq A$

Can you aid me in how should i start. I thought of puting it in terms of propositional logic, then proving it. The propositional logic equivalent I came up with

$(C \Rightarrow A) \Rightarrow (A \vee B) \wedge (C \Rightarrow A )$

Is this correct?
Let $x\in (A \cup B) \cap C$. Then $x\in C$. Since $C\subseteq A$, $x\in A$. Since $x$ was arbitrary, $(A \cup B) \cap C \subseteq A$.

4. Which reason o inference rule do i use here, i know that if $x \in A$ and $x \in C$ and $x \in (A \cup B) \cap C$ then $(A \cup B) \cap C \subseteq A$, but i dont know the reason that allows me to do this.

5. Originally Posted by gordo151091
Which reason o inference rule do i use here, i know that if $x \in A$ and $x \in C$ and $x \in (A \cup B) \cap C$ then $(A \cup B) \cap C \subseteq A$, but i dont know the reason that allows me to do this.
Now you should that we have no way in the world to know what inference rules you are using much less what they might be called.
Prove that $A\cap C\subseteq C$.
Then there is nothing more to prove to have then $(A \cup B) \cap C \subseteq A$.