A proof is an argument from hypotheses (assumptions) to a conclusion. Each step of the argument follows the laws of logic. In mathematics, a statement is not accepted as valid or correct unless it is accompanied by a proof.
If p then q is the logical structure of a conditional statement.
Been a long time since I've taken a logic class.
p = hypothesis
q = conclusion
Is p POTUS?
If so, then q is the conclusion… or possibly verification of truth.
Future proves past.