X直感的にも理解されますが,ここでは少し細かく確認してみます。N(yPx)]というものでした(xIy,つまりxRyかつyRxが成立するのは,右辺で等号が成立するときでした)。N(yPx)]であったことになります。N(yPx)+N(yPx)=2N(yPx)が得られます。左のN(xPy)+N(yPx)はN*に等しいので,つまり,N*>2N(yPx)です。これより,N(yPx)/N*<1/2です。N(xPy)をN*で割る計算を考えると,N(xPy)/N*=(N*-N(yPx))/N*=1-N(yPx)/N*>1/2が得られます。(書籍には「必要である」とあり,それは正しいのですが,十分条件でもあります。(1/2)N*)も成立します。以上より,厳密な多数決ルールでxPyであれば,通常の多数決決定法でもxPyであることが確認され,証明終了となります。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。(最終アップデート:2015年11月23日)。