As regards (2), it certainly seems plausible, assuming that the existence of God is not logically necessary, that there is at least some non-zero probability that God does not exist, given our background knowledge. But one can derive (2), provided that one is willing to accept the (not uncontroversial) principle that only necessarily false propositions have a probability equal to zero. (This principle is very plausible if one accepts the idea of infinitesimals. If one does not, one may hold that some contingent propositions have a probability equal to zero.) Given this assumption, the reasoning is then that \(\Pr(\negt G \mid k)\) can be equal to zero only if the conjunction \(\negt G \amp k\) is necessarily false, which can be case only if either \(G\) is a necessary truth, or else \(k\) entails \(G\), neither of which is the case.