あと、真面目に読んでなかったからあれなんだけど、
↓はどういう意味?

> 同じく「真はzero以外である」と言う命題において
> 「コップであれば真である」は成り立つ
> 「zeroであれば真ではない」も成り立つ
> 「真でなければzeroである」も成り立つ
> しかし、
> 「真であればコップである」は成り立たない

「コップであれば真である」は成り立つ
って何よ。つーかコップがどうしたの? どっから出てきたの?