数学基礎論・数理論理学　その19 (605ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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 →左

でできたぽい

---

345: １３２人目の素数さん [] 2024/05/20(月)00:55 ID:scxUAhLA(6/10)
こっちのがいいか
A⊢A　人⊢人
A,A→人⊢人
A,A→人,B⊢人
A,A→人⊢B→人
>>342
同じね

---

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

---

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

---

ぬこの手 ぬこTOP 1.178s*