河野真治 @ 琉球大学情報工学です。

In article <QjUfh.21$zG6.19@news3.dion.ne.jp>, wacky <wacky@all.at> writes
>「参加者は一人一票のE-Mailによる記名投票により、信任票または不信任票を
>投ずる」
>つまり、命題「参加者ならば投票する」が真なんだから、「参加者」は「投
>票」の十分条件でしょ。
>＃と、NGMPから読み取れます。

問題なのは、「一人一票」と「記名」です。この文章を、

    「参加者」は「投票」の十分条件でしょ。

と読むのは省略しすぎ。十分条件の制限を緩めちゃだめです。その
あたりが「わかってない」と言われる原因だと思う。必要条件は緩
めても良いです。

    「一人一票」と「記名」でないと十分になりません

わかった?

実際、前回では、一人一票でない場合があったわけだから、それを
どうするかってことだよね? なんらかの本人確認しないとだめなん
じゃないかってことでしょ? 

そのあたりは、wacky はどうなのさ。解決策があるなら、選管やって
欲しい...

---
Shinji KONO @ Information Engineering, University of the Ryukyus
河野真治 @ 琉球大学工学部情報工学科