数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト437:１３２人目の素数さん 13/12/28 11:08:47.92 (S)略 (K)略 (DI) a_i→(a_1∨a_2) (DE) (a→b)→ (b→ｃ) →(a∨b)→c (CI) a→b→（a∧b） (CE) a_1∧a_2→a_i (MP) これでいいですか？ あとは量化子の規則なんで関係ないと思います。 438:１３２人目の素数さん 13/12/28 11:10:58.84 [訂正] (S)略 (K)略 (DI) a_i→(a_1∨a_2) (DE) (a→ｃ)→ (b→ｃ) →(a∨b)→c (CI) a→b→（a∧b） (CE) a_1∧a_2→a_i (MP)略 これでいいですか？ あとは量化子の規則なんで関係ないと思います。 439:１３２人目の素数さん 13/12/28 13:20:53.64 難しくないですか？ みんなやってますか？ 440:１３２人目の素数さん 13/12/28 15:04:02.79 ├_HM は →, ∨, ∧ だけの直観主義論理のようですね。 質問者は >>418 と同じ人かな？ >>421 の人が言っていることと同じですが、 まずは自然演繹で証明を書いて、 そこから「演繹定理の証明の分析」を使って ヒルベルト流の証明を作るのが正解と思う。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch