Suffering

[Mystic]

a -> b is "If (objective) morality exists, then God exists".

But this is circular, which is what I was getting at originally. "If objective morality exists, then God exists, which would then prove 'a'; that objective morality exists". This is what you have said in terms of 'a', 'b' and 'c' but I've written it out in English.

A->B Doesn't usually say anything about whether A is true. However, in this case, I would say with morality, it does show it to be true for certain reasons.

However it doesn't really prove A to be true unless you accept both: A -> B to true. And [A -> B] ->A to be true