Ｕ∩Ｓ≠φとＵ∩Ｔ≠φが成り立つ、かつ、
Ｖ∩Ｓ≠φとＶ∩Ｔ≠φが成り立つ。
の否定命題は、
Ｕ∩Ｓ＝φとＵ∩Ｔ＝φが成り立つ、または
Ｖ∩Ｓ＝φとＶ∩Ｔ＝φが成り立つ。
としてもよろしいんでしょうか？