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
'Moral victories' might spare you from losing again
Fair cake cutting gets its own algorithm
Effort to model Facebook yields key to famous math problem (and a prize)
Mar28-12, 10:01 AM
Sci Advisor
PF Gold
P: 39,339
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