It's logically necessary. If election is necessary for salvation (E => S), than the contrapositive inference (~E => ~S) is logically necessary.
Perzackly.
Is God omniscient? If he is one can not "logically" say that the reprobates were not ordained until God finished one task or another .
Act 15:18 Known unto God are all his works from the beginning of the world.
To say that God did not ordain men for destruction until he had done XYZ first denies that God knew for all time those that would be with him in eternity and those that would not.