>>144
つまりは、「zeroでなければ真である」
ということを言うためには、
「真でないならzeroである」
ということを言わなきゃいけないんだよね。
真でない場合を考えると、整数の 1 や 2 は、真ではないけど 0 でもない。
なので、「真でないならzeroである」 は 成り立たないし、
どうように、「zeroでなければ真である」 も成り立たない。