>>966
いや、自分もそう思ったんですが、それぞれの命題の対偶を考慮して解くそうです。