20/01/05 16:11:53 xIJa5Rld.net
たとえば排中律が成立している以上
A ∨ B
の何れか一方が真であることが示せればよいと考えることもできるが
そうすると
たとえば部分集合X⊆Yを示す場合
いつでも等号X=Yあるいは真部分集合X⊂Y
の何れか一方を言えばよいことになる
ところで真部分集合の証明とは何だったか
部分集合の証明かつ等号でないことの証明なのだろうか
そうすると一度部分集合において等号の部分を示してから
等号でないことを示すことになる
これは不合理だ
あるいは部分集合の証明をするのに等号を示さなければならない
これも不合理である
というように論理和を何れか一方のみ示せばよいという考えは危険である