>>749
具体的な証明のシステムが分からないから正確なことは言えないが、
命題論理の〜A→（A→B)の証明の要領でやれば〜P(x)という仮定から
P(x)→P(y)が出てくるよ。∀や∃を含む場合どうして良いか分からない
って書いてたけど、一年間何勉強してたのさ？