数学基礎論・数理論理学 その19 (550ﾚｽ)
数学基礎論・数理論理学 その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
348: １３２人目の素数さん [] 2024/05/20(月) 01:22:12.63 ID:scxUAhLA A⊢Aは公理だけど ⊢は公理じゃないから（むしろこれは真から偽が出ることを意味するからありえない推件） ¬Lを除外したことで後件が空の推件は決して現れないようになった だから後件が空であることを許しても仕方ない よってLJに戻すにはなんらかの公理なり推論規則を追加しないと 追加するのは矛盾律そのものである人⊢Aでいいと思うんだけどね http://rio2016.5ch.net/test/read.cgi/math/1696599483/348
351: １３２人目の素数さん [sage] 2024/05/20(月) 01:30:17.54 ID:os7gXi5h >>348 そう、そこ読み間違えてたっぽい http://rio2016.5ch.net/test/read.cgi/math/1696599483/351
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.021s