- #1
LCharette
- 9
- 0
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?
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?