数理科学演習II 14 ゼミ宿題

ゼミ宿題の下書き完了!!これをA4の綺麗な紙に写しなおすぞ。
同じような問題が3題・・・

◎古典述語論理の形式体系LK
次の式に到る証明図を求めよ。
(i)∃xP(x) ∧∀x∀y(P(x)∧P(y)⊃x=y)　→　∃x(P(x)∧∀y(P(y)⊃x=y))
(ii)∃x(P(x)∧∀y(P(y)⊃x=y))　→　∃xP(x) ∧∀x∀y(P(x)∧P(y)⊃x=y)
(iii)∃x∃y(P(x)∧P(y)∧x≠y)　→　∀x(P(x)⊃∃y(P(y)∧x≠y))

「ゼミは単位取れてるのに、先生が担当する学科選択科目を前期に落としてごめんなさい。来年度の春もよろしくお願いします★」