n項述語・n変項命題関数の全称量化

n項述語・n変項命題関数の全称量化∀x P(x₁,…,x_n)をアップロード。