Consider the following premises. forall z: R_2(z) <-> Q(z). forall z: ~R_2(z). Q(f) or w. Can we infer w from them?
 From forall z: R_2(z) <-> Q(z), forall z: ~R_2(z) we can infer forall z: ~Q(z). From forall z: ~Q(z) we can infer ~Q(f). Finally, from Q(f) or w, ~Q(f) we can infer w. Therefore, the answer is yes.