
Yss
参照された、
> 『3値論理 ―― 神のいない論理』
ttp://www.geocities.jp/mickindex/database/db_3vl.html
これは本当に本質的で重要な問題ですね。DBの世界ではテーブルを全部きれいに埋められるとは限らず、その値は定義できないのでナシで(=NULL)みたいなことが起きやすそうだ、と直感的にも思いますが、2値論理では太刀打ちできない問題があるんですね。
そしてs_hskzさんによるこの参照は、本問における本質的な問題提起だと、よく分かりました。
真理値にはtrue,falseのほかに(それを許せば)unknownもある。
そうやって考えていくと、本問は少し考えやすくなりそうです。
難しくて死にそうです。