Strengthening the Antecedent: From B implies C, infer (A ^ B) implies C How can I construct a Fitch style proof to prove this?
I have tried 

  
*
  
*B $\rightarrow$ C
  
  
  
*A $\land$ B
  
*B $\quad\quad$ $\land$ Elim: $2$
  
*C $\quad\quad$ $\rightarrow$ Elim: $1,3$
$5$. (A $\land$ B) $\rightarrow$ C $\quad\quad$ $\rightarrow$ Intro: $2-4$


You may want to indicate what kind of Elim and Intro you do:
Line 3 is an $\land$ Elim
Line4 is an $\rightarrow$ Elim
line 5 is an $\rightarrow $ Intro
Otherwise perfect!
