Originally posted by Jason Menard:
The question was:
Given that God exists and has divine foreknowledge of everything we will think, say, or do, does Man have free will?
It is simply a conditional problem: (Man's free will | God exists).
Recht formula is:
(God exists) -> (Man has free will)
which is equivalent to
NOT ((God exists) AND NOT (Man has free will))
Now we know that 1) God doesn't exists and 2) from a false statement any conclusion can be driven (that's how -> function is defined). So
(God exists) -> (Man has free will) - TRUE
(God exists) -> (Man doesn't have free will) - TRUE