Consider the following premises. forall x: P(x). ~P(j_2) or u_3. Can we infer w or u_3 from them?
 From forall x: P(x) we can infer P(j_2). From P(j_2) we can infer P(j_2) or w. Finally, from P(j_2) or w, ~P(j_2) or u_3 we can infer w or u_3. Therefore, the answer is yes.