>>340
¬のルールは消して、¬A := A→Falseにして
Γ ⊢ Δ
---------
Γ, False ⊢ Δ
を追加
目標は
A, A→False ⊢ B→False
なので、後ろ向きに機械的に適用できるルール使っていって逆順に証明を書くと
A, A→False,B ⊢ False →右
A, A→False ⊢ False 弱左
A ⊢ A とFalse ⊢ False →左
でできたぽい
数学基礎論・数理論理学 その19
■ このスレッドは過去ログ倉庫に格納されています
342１３２人目の素数さん
2024/05/20(月) 00:50:24.32ID:os7gXi5h■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【酒】がんの死亡リスク、350mlの缶ビールを1日1本で増加？ アルコール起因のがん死亡数が33年間で2倍に 米国研究 [煮卵★]
- こめお、「割烹こめを」閉店発表 [爆笑ゴリラ★]
- 最も信用できない情報源ワースト2 インフルエンサーのSNSが惨敗の理由…信頼するのは「家族の口コミ」「NHKのテレビ」… [少考さん★]
- 【アジア大会/柔道】中国選手が衝撃の反則負け 前田凛にガブリ噛みつき 歯形くっきり・・・女子70kg級(※動画あり) [あずささん★]
- マクドナルドのキャラクター「ドナルド」、きょうから「ロナルド」へ [おっさん友の会★]
- 岩屋前外相 中国訪問めぐるSNS中傷に大物議員が同情…議員宿舎侵入事件も「ハニトラでもなんでもない」と徹底擁護 平将明氏 [少考さん★]
- （ヽ´ん`）「全ての女性が敵。嫌がることをしたい」１０人に性加害、横浜地裁の公判で元プロ野球選手の被告が動機語る [931948549]
- 柏レイソル🏡
- トランプ嘆く、「俺が指名した最高裁判事なのに、俺に反対ばかりする」 [241672384]
- 【悲報】ガソリン車の世界新車販売シェア初の50%割れ、原油高でEVシフトが加速 [153736977]
- 【悲報】泉健太「農水大臣の圧力疑惑は国会で質問しません」 [834922174]
- なんか農水大臣の不祥事も普通に流されそうなんだが [268718286]