述語論理の証明について

質問

述語論理の証明について

∃x∀y(p(x)<-p(y))を証明したいのですが、最初の部分しかわかりません。

∃x￢p(x)V￢∃x￢p(x)
∃x￢p(x)
a ￢p(a)
・
・
・
￢∃x￢p(x)
・
・
・

排中律を使って∃x￢p(x)V￢∃x￢p(x)を出して、∃x￢p(x)と￢∃x￢p(x)に場合分けして考えようとしているのですが、このあとどうすればいいのか分かりません。
どなたかよろしくお願いします。

回答No.1

mis_take · ベストアンサー

自然演繹体系による証明を画像で添付します