# In a direct proof, do your chain of deductions have to involve the antecedent in any way in order for this to be considered a "direct proof"?

If I am asked to give a direct proof of the implication "if the sky is blue, 7 is prime", would it be considered a valid direct proof to conclude 7 is prime through a chain of implications which have nothing to do with the sky being blue? (the idea being that any implication whose consequent is always true is true, regardless of whether the antecedent is true or false).

I am asking because I was taught the definition of a direct proof is a proof which assumes the antecedent, and through a chain of implications concludes the consequent- however, I am not sure if the chain of implications have to be built off of the antecedent, or if they can have no relationship to the antecedent, in order for this proof to be considered a direct proof. So would my proof of the implication I gave constitute a valid direct proof?

• It should be easy to see that, in most cases, there isn't a way to prove that in the first place. "If $x$ is even, then $x+1$ is odd" would be an example: you can't prove that $x$ is even because you don't even know what $x$ is. Of course, whether the assumption is ever valid is a concern in its own right, especially when in a piece of a grander puzzle - but in principle, to prove $P \implies Q$, you will assume that $P$ is true and work from there to deduce $Q$. Jun 5 at 1:07