Consider the following premises. forall y_2: P(y_2) or Q(y_2). P(a_12) -> r_3. Q(a_12) -> r_3. Can we infer r_3 or w from them?
 From forall y_2: P(y_2) or Q(y_2) we can infer P(a_12) or Q(a_12). From P(a_12) -> r_3, Q(a_12) -> r_3, P(a_12) or Q(a_12) we can infer r_3. Finally, from r_3 we can infer r_3 or w. Therefore, the answer is yes.