Register to reply

Help with indirect logic proof please!

by LCharette
Tags: indirect, logic, proof
Share this thread:
Mar28-12, 09:40 AM
P: 9
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?
Phys.Org News Partner Mathematics news on
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
Iranian is first woman to win 'Nobel Prize of maths' (Update)
Mar28-12, 10:01 AM
Sci Advisor
PF Gold
P: 39,488
Yes, that would be the simplest thing to do. The very first "axiom" gives you p-> ~y but there is no "~y-> " so you cannot continue directly. However, you do have "A5: r->x or y which has contrapositive ~(x or y)= (~x) and (~y)->~r and then both "A2: ~r-> q" and "A4: x-> q or z".
Mar28-12, 01:03 PM
P: 9
Am I on the right track with this?

Conclusions Justifications
1. p Given
2. ~z or ~y All cases
3. ~z Case 1
4. ~x A4
5. ~r A5
6. q A2

Register to reply

Related Discussions
Help with indirect logic proof please! Set Theory, Logic, Probability, Statistics 1
Indirect Proof Precalculus Mathematics Homework 2
Indirect Proof Calculus & Beyond Homework 5
Indirect Proof (Logic question) Set Theory, Logic, Probability, Statistics 6
Help with an indirect proof (RAA) General Discussion 1