論理記号一覧からn項述語量化へのリンク

論理記号一覧の∀に、

• n項述語・n変項命題関数の全称量化∀x P(x1,…xn)
• n項述語・n変項命題関数の全称量化∀xi∈S P(x1,…xn)

へのリンクを設置。

論理記号一覧の∃にも、

• n項述語・n変項命題関数の存在量化∃xi P(x1,…xn)
• n項述語・n変項命題関数の存在量化∃xi∈S P(x1,…xn)

へのリンクを設置。