>>130
>>128からそうなんですが、式が違ってます。

誤　Pr(g(¬Pr(g(G) ∧ Pr(g(G)))
正　Pr(g(¬Pr(g(G))) ∧ Pr(g(Pr(g(G))))

>>129
間違い。正しくはG⇔¬Pr(g(G))