∀x P(x,y):二項述語の普遍量化

二項述語・2変項命題関数を普遍量化してできた一項述語∀x P(x,y)を作成、アップロード。