全称と存在の両方を含む命題の否定