I have to rely only on SD+ rules
I use the Logic Book.
Show that the following is valid in SD+
1.~Y-> ~Z. Assume
I got Z->Y but am stumped on getting Y->Z
I tried everything.
I request any help or hints in finishing it.