>>442 「Ｕ∩Ｓ≠φとＵ∩Ｔ≠φが成り立つ」と言う事を
ひとつの命題としてA∩Bの否定命題、A∪Bとみなすことは
できないのでしょうか？