数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト424:１３２人目の素数さん 13/12/26 01:52:21.57 >>422 「命題論理のどんな論理式も， ￢, ∧, ∨ の三つの論理記号だけで表現できる」 という事実があります。 （１）この事実の証明を何らかの教科書で勉強する。 （２）その証明をShoenfieldの表記法に直す。 で完了です。 425:１３２人目の素数さん 13/12/26 02:20:06.89 >>423 ついでに、あの体系が独特． ヒルベルト流の一種と言えるが． 426:１３２人目の素数さん 13/12/26 02:39:12.43 公理の数を少なくするか推論規則を少なくするか、 大抵はどっちかだけどShoenfieldはちょうど間みたいな感じだよね まあ演繹定理証明して完全性定理示したら後はどの体系でも大差ないが 427:１３２人目の素数さん 13/12/27 09:05:56.53 （φ∨ψ）∧（φ∨χ）├_HM φ∨（ψ∧χ） がどうしても解けません。 どうやってやるのか教えてください。 428:１３２人目の素数さん 13/12/27 13:09:33.22 自己解決しました。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch