∃x P(x)

一項述語・1変項命題関数を存在量化した存在命題を更新。