On the former interpretation the premiss is true, but under that interpretation the argument is invalid, that is, the conclusion does not follow. Interpreting the premiss in the second way results in an argument that is valid, but this premiss is false. Just because God knows a proposition, it does not follow that the proposition is a necessary truth; God knows contingent truths, as well. In either case, the argument fails.