[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

932(2): 2024/03/17(日)02:20 ID:egixwGA8(37/38) AAS
>>929
＞「先手の情報が全公開されてないなら　∀x.∃y.P(x,y)　を　∃y.∀x.P(x,t)　に書き換えられる」
このような主張はしてない

---

936: 2024/03/17(日)02:24 ID:VAa6dkvQ(40/75) AAS
>>932
じゃあどう主張してんの？

---

937(1): 2024/03/17(日)02:28 ID:VAa6dkvQ(41/75) AAS
>>932
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である
証明である理由が何も書かれてなくて勝手に宣言してるだけじゃんｗ
宣言したもん勝ちかよｗ

---

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

---

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

---

ぬこの手 ぬこTOP 0.033s