論理目次追加：三項述語2重量化

論理目次に、

三項述語の二重量化(範囲明示)：∀x∈S ∀y∈T P(x,y,z) /∀x,y∈S P(x,y,z)/ ∃x∈S ∀y∈T P(x,y,z) /∀x∈S ∃y∈T P(x,y,z)

へのリンクを追加。