「〜だけが〜」型の条件文とその対偶

「（パリとロンドンの両方を訪れた）ならば（ニューヨークかローマの少なくとも一方を訪れた）」の対偶は、「（ニューヨークもローマも訪れていない）ならば（パリかロンドンの少なくとも一方は訪れていない）」であり、両者は論理的に同値である。

「PだけがQ」は「QならばP」と同じ意味である。