Consider the following premises. p_6 or p_12. p_6 -> w. p_12 <-> w. Can we infer w or q from them? If possible, name the inference rules being used at each step.
 From p_12 <-> w we can infer p_12 -> w via biconditional elimination. From p_6 -> w, p_12 -> w, p_6 or p_12 we can infer w via disjunction elimination. Finally, from w we can infer w or q via addition. Therefore, the answer is yes.