数学基礎論・数理論理学　その19 (605ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

342(1): １３２人目の素数さん [sage] 2024/05/20(月)00:50 ID:os7gXi5h(1/4)
>>340
¬のルールは消して、¬A := A→Falseにして
Γ ⊢ Δ
---------
Γ, False ⊢ Δ
を追加

目標は
A, A→False ⊢ B→False
なので、後ろ向きに機械的に適用できるルール使っていって逆順に証明を書くと
A, A→False,B ⊢ False →右
A, A→False ⊢ False 弱左
A ⊢ A とFalse ⊢ False →左

でできたぽい

---

344(2): １３２人目の素数さん [sage] 2024/05/20(月)00:55 ID:os7gXi5h(2/4)
>>341
LJとの違いは右側が1つに制限するかか1つ以下に制限するかの違いのはず

---

350: １３２人目の素数さん [sage] 2024/05/20(月)01:29 ID:os7gXi5h(3/4)
>>347
なんかカンニングした
https://ncatlab.org/nlab/show/sequent+calculus
をだいぶ読み間違えてたわ

---

351: １３２人目の素数さん [sage] 2024/05/20(月)01:30 ID:os7gXi5h(4/4)
>>348
そう、そこ読み間違えてたっぽい

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.024s