[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 否定派 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

256(2): 5ch反IUT論装戦線 論理狼 ◆y7fKJ8VsjM 2020/04/23(木)17:44 ID:HZRVAVG+(34/41) AAS
>>253
そりゃそうでしょ　丹治さんの本って
タブロー法について説明してるから
（ま、LKでもNKでも同じだけどね）

＞つまり
＞すべてのカラスは黒い
＞から
省19

---

258(1): 2020/04/23(木)17:56 ID:XWvRD9DG(5/10) AAS
>>256
>でも「すべてのカラスは黒い」の全称量化子を特称量化子に置き換えたのが
>「ある(黒い)カラスが居る」だとおもってるならそれは誤り

そんなことは一言も言ってない
貴方が勝手にそう言っていただけのこと

---

260(1): 2020/04/23(木)18:00 ID:XWvRD9DG(6/10) AAS
>>256
a：個体パラメータ
とする

(1)　(∀x)Fx
(2)　Fa　　　　(1)

この導出に異論はあるか？
俺はない
省1

---

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

---

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

---

ぬこの手 ぬこTOP 1.646s*