VII. Proofs (N.B. two total; 15 pts each)
15. Translate into statement logic using the provided schema, and then prove
validity using a direct proof.
This is the best of all possible worlds. For God exists, and if God is not both morally
perfect and omnipotent, then God does not exist. Now, if God is omnipotent, God can
create just any possible world. And if God is morally perfect, God will create the best
possible world if God can create it. And God can create the best of all possible worlds
if and only if God can create just any possible world. Moreover, this is the best of all
possible worlds given that God will create the best of all possible worlds.
(G: God exists; M: God is morally perfect; O: God is omnipotent; A: God can create
just any possible world; W: God will create the best possible world; C: God can
create the best possible world; B: This is the best of all possible worlds.