二項述語の二重量化

論理と集合の目次を更新。
二項述語の二重量化。