I have been looking at the following:
P entails Q implies P
And developed the proof as follows:
1. P 2. Q (Start of new subproof) 2.1 P (By 1) 3 Q implies P by INTRODUCTION OF IMPLICATION 2, 2.1
However, while it makes sense in terms of logic, I can't get it's general meaning.
To me, this is like saying: "I have P. Assuming I have Q, I still have P. So Q must imply P."
Or: "It's raining. Assuming I don't have an umbrella, it's still raining. So the fact I don't have an umbrella implies it's raining."
Is this proof simply stating that whatever assumption, the base assumptions will still hold, so it's trivially true, or...?