Consider the following premises. forall z: Q_2(z) or R(z). forall z: Q_2(z) <-> W(z). p. forall z: ~W(z). Can we infer R(h) and p from them? If possible, name the inference rules being used at each step.
 From forall z: Q_2(z) <-> W(z), forall z: ~W(z) we can infer forall z: ~Q_2(z) via universal biconditional elimination. From forall z: Q_2(z) or R(z), forall z: ~Q_2(z) we can infer forall z: R(z) via universal disjunctive syllogism. From forall z: R(z) we can infer R(h) via universal instantiation. Finally, from R(h), p we can infer R(h) and p via conjunction. Therefore, the answer is yes.