TREATISE ON GRATUITOUS GRACES · Question 1714

1Reply to Objection 3: Since the same truth of prophecy is the same as the truth of Divine foreknowledge, as stated above, the conditional proposition: "If this was prophesied, it will be," is true in the same way as the proposition: "If this was foreknown, it will be": for in both cases it is impossible for the antecedent not to be. Hence the consequent is necessary, considered, not as something future in our regard, but as being present to the Divine foreknowledge, as stated in the FP, Q[14], A[13], ad 2.