P1: If God exists, then God is a morally perfect being.
P2: The world is morally imperfect now.
P3: If God is a morally perfect being, then his actions cannot decrease the degree of moral perfection of
the world.
P4: If God is a morally perfect being, then prior to God creating anything the world was morally perfect.
P5: If prior to God creating anything the world was morally perfect and the world is morally imperfect
now, then the actions of God has decreased the degree of moral perfection of the world.
C1: If God exists, then his actions cannot decrease the degree of moral perfection of the world. (P1, P3
Hypothetical Syllogism)
C2: If God exists, then prior to God creating anything the world was morally perfect. (P1 and P4
Hypothetical Syllogism)
C3: If the world is morally imperfect now, then if prior to God creating anything the world was morally
perfect, then the actions of God has decreased the degree of moral perfection of the world. (P5 Rule of
Exportation)
C4: If prior to God creating anything the world was morally perfect, then the actions of God has
decreased the degree of moral perfection of the world. (P2, C3 Modus Ponens).
C5: If God exists, then the actions of God has decreased the degree of moral perfection of the world.
(C2, C4 Hypothetical Syllogism)
C6: God does not exist (C1, C5 Negation Introduction)