13/12/28 15:04:02.79
├_HM は →, ∨, ∧ だけの直観主義論理のようですね。
質問者は >>418 と同じ人かな？
>>421 の人が言っていることと同じですが、
まずは自然演繹で証明を書いて、
そこから「演繹定理の証明の分析」を使って
ヒルベルト流の証明を作るのが正解と思う。
13/12/28 15:04:02.79
├_HM は →, ∨, ∧ だけの直観主義論理のようですね。
質問者は >>418 と同じ人かな？
>>421 の人が言っていることと同じですが、
まずは自然演繹で証明を書いて、
そこから「演繹定理の証明の分析」を使って
ヒルベルト流の証明を作るのが正解と思う。