数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト405:１３２人目の素数さん 13/12/20 10:07:24.87 aがトに含まれているは aがΓに含まれてるの間違いで Γトa/ Γトaxのいみは Γトa ＿＿＿＿＿ Γトax の横書きです。 406:１３２人目の素数さん 13/12/20 10:09:45.96 axって？ 407:１３２人目の素数さん 13/12/20 10:12:22.84 aのあとにxを続けたものです。 408:１３２人目の素数さん 13/12/21 06:55:15.09 左卜全 409:１３２人目の素数さん 13/12/21 07:57:21.45 やめてケレ、やめてケレ 410:１３２人目の素数さん 13/12/21 18:51:26.98 定義がわからないのでまったくの想像ですが、もしかして 証明しなさい、と言われていることは 「Γ|-a から Γ,b |-a を規則で導け」 ではなくて 「Γ|-a が成り立つならば Γ,b |-a も成り立つことを示せ」 なのでしょうか？？ いずれにしても、問題を出した >>401 さんがちゃんと定義を書いてくれないと 誰も正確には答えられないと思います。 411:１３２人目の素数さん 13/12/21 22:12:21.13 シークェント計算か何かのことを言っており、 (1) Γが式の集合で a∈Γ であるなら Γ|-a、 (2) Γ|-a であるならば Γ|-a, x が成り立っているときに Γ|-a であるなら Γ,b |- a であることを示したいのなら(1)のみを使って示せば良い。 シークェント計算でシークェントの間にある横線は、 それを使って示すとか使わないで示すという話じゃなくて (2)の「であるならば」の略記に近いものだと思う。 あと他の人も言ってるけど教科書などに書かれていることを そのままきちんと人に伝えることができるようになった方がいいと思う。 >>401だとかなりエスパーして推測しないと意味が分からない。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch