Having problems with solving this question. The directions are: Use the 18 rules of inference, supply a proof.
1.(RvX)>(A>B)
2.~Q>~C
3.~C>Z
4.R.Y
5.QvA
The conclusion I'm supposed to arrive at is /ZvB
1.(RvX)>(A>B)
2.~Q>~C
3.~C>Z
4.R.Y
5.QvA
The conclusion I'm supposed to arrive at is /ZvB