The solution to is:
Here we won't have to think much, we just have to use correctly the rules and their justifications.
Firstly, understand what has been told to us: they say that now happen two things, the first is that and the second is that (they are the two formulas written to the left of the ). These two things we will note, one on each line, since at this demonstration they will always be true (liking it or not).
The goal of this demonstration is to know that is also true, as we have been told that when and are true, then also is, and we want to check if that's right. Finally we achieved it, since on the last line we see the written.
But how do we start? Remember where do we want to head to. If has to be true, then both and should be true; let's attempt to prove that they really are.
is true, since they said so, and we have it written on line 1.
But we weren't told that was true. What do we know about ? Searching it on lines 1 and 2, the only we know about is that it's true when happens (that's what says line 2). But is true, so we can use one of the rules to deduce from the and . Remark what is the most important change when we go from to : we stopped using the implication symbol; so the rule we will need is the one called implication elimination.
To use this rule, we look at its definition, and see that we have to write in a new line , and as a justification needs to be written. The is from elimination, the means implication, the first number is the one from the line which does contain the implication ( ), and the second number is from the line which has the known truth (). It's incorrect to write them reversed ( ), since the definition of the rule says that the line which has the implication should be cited first.
We have just applied the rule, and now we know three truths: , , and . They are all equally true. Now we're nearer to our objective, , since we know that and are true, so also has to be true (it's obvious). In the formula we search there's a conjunction sign () which we don't have, so we need to use the conjunction introduction to be able to say that is true because is and also . As a justification we write (the line where it says , and the one which says ). Don't put , that would be to affirm that , which is not what we're trying to prove.
Then we know 4 truths: , , , and . We could continue finding more things which are true, but we've already finished, since we had been told to prove that is true, and we just achieved that (in line 4). So that will be the last line, and we don't have to write anything else.
Ah, and an example of this derivation, but with words: ``now it's summer, and in summer it's warm. That's why now it's summer and it's warm''.
Daniel Clemente Laboreo 2005-05-17