Hi
The idea is, to prove you assume and deduce
In your case, you have to repeat this, to prove you assume and prove i.e. you assume and prove
.
First line of the proof is obv.,
(A)
(A)
(A)
(1,3 MP)
(2,4 MP)
(3,5 CP)
(2,6 CP)
I don't understand why it's just assuming lines 2 and 3. Couldn't I just assume R to be true as well and be done with the proof?
How do I know which variables to assume as true?
I really don't see how that proof can be correct. The statement itself, however, is true. Indeed, consider the two Hilbert calculus axioms:
1.
2.
We then have
1. (Hip)
2. (Ax 2)
3. (MP 1,2)
4. (Ax 1)
5. (MP 3,4)
6. (Ax 2)
7. (MP 5,6)
8. (Ax 1)
9. (MP 7,8)
Given I'm extremely rusty with Hilbert calculi, there may be a shorter proof.
C P is for conditional proof .Somewhere in your book of propositional calculus that very important rule is explained in details .Make sure you understand completely the rule .Without it you cannot have any proofs in logic and mathematics.
The above proof is 100% correct.
In an axiomatic development of the propositional calculus conditional proof is mentioned as deduction theorem and is categorized as the most important meta-theorem
I understand the conditional proof part - after all, if P and R are true, then P -> R is going to be true.
I was more concerned about why we made the extra assumptions of Q and P. What if we assume Q and P, and we still arrive at that conclusion, when really ¬Q is true?
Or is it that, if I select the wrong assumptions, then I will be unable to prove what I want to prove?
And in this case, how do I make the right assumptions? Guesswork? Where are the clues to help me make the right assumptions?
Nothing For to be true just asks that if is true, so is That is exactly what CP means, you make an assumption and if you can deduce from it, all you can conclude isWhat if we assume Q and P, and we still arrive at that conclusion, when really ¬Q is true?
About something you wrote earlier, if you had assumed (for CP)
(CPA)
(CPA)
(CPA)
then you would have gotten nothing better than:
(A) (from the CPA (4))
(CP, 4,5)
(CP, 3,6)
(CP, 2,7)
Note that this last formula doesn't need any supplementary axiom, you can check it is a tautology (6,7,8 are), i.e. assuming R did not bring anything.
Therefore yes, making "wrong" assumptions just won't help you. I guess it comes with practicing, you can guess what can be helpful from the form of the sentence you want to prove.Or is it that, if I select the wrong assumptions, then I will be unable to prove what I want to prove?
And in this case, how do I make the right assumptions? Guesswork? Where are the clues to help me make the right assumptions?
I only worked with different formal systems, so I don't know what are the rules you are allowed to use, but I think an important thing to do is to study these rules, particulary their conclusion, and then you'll be able to choose the good rule to apply. In a sense, start from the conclusion to see what can have been used to get it.
First of all in propositional calculus there are two kinds of proofs .
1)The Syntactical proof where the proof is purely mechanical and is done by using the laws of logic without any reference to the true or false value of the statements involved,and
2) The semantical proof where the true or false value of the statements involved are taken into consideration .In this kind of proof we may use the true tables ,or in general the rules concerning semantical proofs.
But is of no help at all if you start ask any questions ,without having spent enough time ,on reading and exercising in the book of the propositional calculus that you are advised to read.
The above proof is purely syntactical and the laws of logic involved in proving the desired result are:
The law of conditional proof (C.P) twice and the law of M.Ponens (M.P )twice as well.
And since the proof is syntactical it is of no use at all asking questions about the value of the statements ( true,false).
In this kind of proof you simple can ask whether the laws of logic involved are applied correctly on not