厳密な否定と全称・存在の組合せ

「兄も姉も、中国とインドの両方に旅行したことがある」の論理的に厳密な否定は、「兄か姉の少なくともどちらかは、中国かインドの少なくともどちらかには旅行したことがない」であり、「兄も姉も、中国とインドの少なくともどちらかには旅行したことがない」は厳密な否定ではない。

「兄も姉も、中国かインドの少なくとも一方に行っていない」は、兄と姉の両方が該当する場合にしか真にならず、兄だけが片方に行っていない場合などを含まない。