Offered assumptions (1), (2), and (3), how come the conflict to your earliest achievement go?
Find today, earliest, your proposition \(P\) gets in only to the basic additionally the third of those site, and you can next, that the details regarding those two site is very easily protected
Ultimately, to establish the following achievement-that’s, one in accordance with the record training and additionally suggestion \(P\) it is apt to be than just not that Goodness doesn’t can be found-Rowe requires only one additional assumption:
\[ \tag <5>\Pr(P \mid k) = [\Pr(\negt G\mid k)\times \Pr(P \mid \negt G \amp k)] + [\Pr(G\mid k)\times \Pr(P \mid G \amp k)] \]
\[ \tag <6>\Pr(P \mid k) = [\Pr(\negt G\mid k) \times 1] + [\Pr(G\mid k)\times \Pr(P \mid G \amp k)] \]
But because off assumption (2) you will find you to definitely \(\Pr(\negt Grams \mid k) \gt 0\), while in look at expectation (3) we have you to definitely \(\Pr(P \middle Grams \amp k) \lt step 1\), meaning that one to \([step 1 – \Pr(P \middle Grams \amp k)] \gt 0\), therefore it after that employs out-of (9) you to