数学基礎論・数理論理学 その14at MATH数学基礎論・数理論理学 その14 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト400:１３２人目の素数さん 13/12/19 10:25:50.96 言うのとやるのは大違いなんだよな。 パーサー書くしかないのか・・・ ああ、メンドクセ・・ 401:１３２人目の素数さん 13/12/20 08:59:09.79 例えばΓにaが含まれればΓトaとΓトa/ Γトaxという規則があるとします。 このときaがトに含まれているときΓトa/Γ,bトaを証明しなさいと言う問題があったとするじゃないですか。 するとΓトa/Γトax/Γトaxx/・・・ と永遠に続くだけで証明できませんよね。 むしろΓ,bにaが含まれているから始めの規則によってΓ,bトaが成り立つじゃないですか。 でも/を使わずに導いたのに/をつかってΓトa/Γ,bトaとして良い理由がわかりません。 402:１３２人目の素数さん 13/12/20 09:48:14.28 何言ってんだ。藪から棒に。 403:１３２人目の素数さん 13/12/20 09:52:30.19 質問なんですけど・・・ 404:１３２人目の素数さん 13/12/20 10:03:26.19 >>401 ごめんな。トは|-のことか？1行目の後半意味わからん。aがトに含まれている、も意味分からん 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch