一項述語・1変項命題関数の全称量化∀x P(x)

一項述語・1変項命題関数の全称量化∀x P(x)を更新。