> ＲはＲを含むと仮定すると、ＲはＲを含みません。ＲはＲを含まないと仮定すると、ＲはＲを含
> みます。すなわち、命題Ｂが真であると仮定すると命題Ｃも真になります
> ？？？

尊子の説法だな・・・

参考：2000/07/17(月)20時03分15秒