I know all the rules but I don't know how make assumptions and build a proof in general.
Example : prove : $((A \rightarrow B) \wedge(C \rightarrow B))\rightarrow(A \wedge C)\rightarrow B$
I'm only able to do these 2 steps :
$ \frac{(A \wedge B)}{B} \frac{(A ),( C)}{(A \wedge C)}$
I don't know how to build the $\rightarrow$'s using the $\rightarrow$ introduction rule.
Let's try it again :
$1. [(A \rightarrow B)\wedge(C \rightarrow B)] $
$2. (A \wedge C),B $
$3. B $ is it correct?
We have to prove an implication, so we start by assuming the antecedent:
We have to prove an implication from this so again we assume the antecedent:
Now your required statement follows from ass 1 (which will be eliminated) and again introduction of $\to$.