08/05/09 22:11:43 O3Kp4Lj60
命題「八王子IC以西を起点もしくは終点とすること。」
まず、考えられるパターンをすべて列挙する。
1. 起点=八王子IC以西 終点=八王子IC以西
2. 起点=八王子IC以西 終点=八王子IC以西ではない
3. 起点=八王子IC以西ではない 終点=八王子IC以西
4. 起点=八王子IC以西ではない 終点=八王子IC以西ではない
このうち、命題を満たすのは 1./2./3.。
1. の例=八王子→相模湖東 …何の問題もない。(距離区間料金)
2. の例(A)=八王子→高井戸 …八王子での IN 時、均一区間でない方向にいったん入り、
ループして戻って来てから再度八王子本線バリア突入となるので問題あり。
2. の例(B)=相模湖→高井戸 …何の問題もない。(距離区間料金+均一区間)
3. の例=高井戸→相模湖 …何の問題もない。(均一区間+距離区間料金)
よって、2. の例 (A) において問題が生じる。
だが、>>15 に「ハーフインター・上下線別インターに注意」という注意書きがあり、八王子 IC は
まさにこれに該当する。>>15 についてはこのスレにおいては自明扱いとなっており、
>>15 とペアにして >>3 の「【均一料金区間の注意】」を読む限りにおいては、命題は正しい。
以上。