19 May '12 00:46>
Before I present the proof, recall the following. P -> Q is true whenever P is false or Q is true. Recall also that modus tollens is a valid form of argument:
P -> Q
Not-Q.
Therefore, not-P.
So, then, here is the proof:
(1) If God does not exist, then it is not the case that if I am evil, I will be punished after I die.
(2) I am not evil.
(3) Therefore, God exists.
😛
P -> Q
Not-Q.
Therefore, not-P.
So, then, here is the proof:
(1) If God does not exist, then it is not the case that if I am evil, I will be punished after I die.
(2) I am not evil.
(3) Therefore, God exists.
😛