# Logic

posted by
**lost**
.

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