∃x∈X P(x)

一項述語・1変項命題関数を存在量化した存在命題：変更が動く範囲を明示をアップロード。