Help with indirect logic proof please

[LCharette]

Using the five axioms below prove: p→q

A1: p→~y
A2: ~r→q
A3: p→~z
A4: x→ q or z
A5: r→x or y

Do I have to take the contrapositive of some of the axioms to begin this proof?

 

[CompuChip]

Not necessarily.
You can also solve it using the tautology (r or ~r) and using or-elimination (i.e. assuming p, show that r -> q and ~r -> q).