Even if theism is a failure, it's still superior to atheism

[Angrboda]

0=1 leads to 0=0 when we multiply both sides by 0, and yet "0=1" is a false proposition, but 0=0 is true.

If p -> q, then whenever p is false, then p->q will always be true.  And, so, what's your point?

I think his point is that while he understands logical principles in the abstract, he's hopelessly incapable of applying them in the concrete.