Question

Prove that the argument below is valid using the rules of inference.
Name the rule of inference or equivalence used at each step.

(y implies z) And W
(~z or x) V ~y
x V y
therfore x

Answer 1

I'm not sure how to do it correctly.