Using the five axioms below prove: p→q(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums - The Fusion of Science and Community**

# Help with indirect logic proof please!

Know someone interested in this topic? Share a link to this question via email,
Google+,
Twitter, or
Facebook

Have something to add?

- Similar discussions for: Help with indirect logic proof please!

Loading...

**Physics Forums - The Fusion of Science and Community**