数学基礎論・数理論理学 その19 (605ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
341(1): １３２人目の素数さん [] 2024/05/20(月)00:25 ID:scxUAhLA(4/10)
あーもしかして¬を入れないとは
演算として∧∨→だけてこと？
なんかそれもやりすぎなような気もするけど
確かに
¬Aはまず最初にA→人で置き換えればいいし
結果にA→人の部分があったらそれを¬Aにすればいいのか
（この置き換えは最小論理でも許されるはず）
その上で人⊢Aを公理にするかしないかで
LJとMLを区別すればいいのかな
344(2): １３２人目の素数さん [sage] 2024/05/20(月)00:55 ID:os7gXi5h(2/4)
>>341
LJとの違いは右側が1つに制限するかか1つ以下に制限するかの違いのはず
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s