[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
943(2): 2024/03/17(日)02:34 ID:VAa6dkvQ(44/75) AAS
>>939
もう一回聞くけど
ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明である理由は何？
944: 2024/03/17(日)02:34 ID:HNHCaIr5(4/29) AAS
>>941
証明の定義に戻って確認するだけでしょ
945(1): 2024/03/17(日)02:35 ID:HNHCaIr5(5/29) AAS
>>943
ほとんど証明の定義そのままだろ
946: 2024/03/17(日)02:35 ID:VAa6dkvQ(45/75) AAS
>>942
任意ってことは{}でもいいんだろ？
じゃあ>>907に答えろや 何逃げてんだよ
947(1): 2024/03/17(日)02:36 ID:VAa6dkvQ(46/75) AAS
>>945
証明の定義を書いてみて
948: 2024/03/17(日)02:38 ID:VAa6dkvQ(47/75) AAS
こいつ書けって言うと全部逃げるのなｗ
口から出まかせだから書けないんだろう そりゃ逃げるしかないわな
949(2): 2024/03/17(日)02:40 ID:VAa6dkvQ(48/75) AAS
>>939
もうひとつ聞くけど
xがtに自由に現れるとき ex t (λx.f(x,t)) が ∃y.∀x.P(x,t) の証明でない理由は何？
950(1): 2024/03/17(日)02:41 ID:HNHCaIr5(6/29) AAS
>>947
それ知らないのになんでギャップがあるって主張すんの？
お前が知ってる定義を書いてみろよ
951: 2024/03/17(日)02:42 ID:VAa6dkvQ(49/75) AAS
>>950
自分が書けないからって何言いだすんだおまえｗ
952(1): 2024/03/17(日)02:43 ID:VAa6dkvQ(50/75) AAS
証明の定義の言い出しっぺはおまえだろ？
言い出しっぺが書けやクズ
953: 2024/03/17(日)02:47 ID:VAa6dkvQ(51/75) AAS
>>943と>>949は宿題な
忘れずやれよ
954(1): 2024/03/17(日)02:49 ID:HNHCaIr5(7/29) AAS
>>949
それなんか関係ある？
具体的にやってみりゃわかんじゃん
955: 2024/03/17(日)02:50 ID:HNHCaIr5(8/29) AAS
>>952
教科書に載ってるものをコピペする必要性がどこにあるの？
956(1): 2024/03/17(日)02:54 ID:VAa6dkvQ(52/75) AAS
>>954
結局理由をひとつも言えないのね？
だけど証明になってると思ってるのね？
ダメだこりゃ
957: 2024/03/17(日)02:57 ID:HNHCaIr5(9/29) AAS
>>956
理由もなにもほとんど証明の定義だろ
958(2): 2024/03/17(日)02:58 ID:VAa6dkvQ(53/75) AAS
聞いていいか？
箱入り無数目は∃y.∀x.P(x,t)とは書けない
一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
それはおまえの持論に反してるんだろ？
てことは上記証明が間違ってるはずなんだろ？
どこが間違ってるの？
959: 2024/03/17(日)03:00 ID:VAa6dkvQ(54/75) AAS
>>958宿題な
忘れずやれよ
960(1): 2024/03/17(日)03:07 ID:HNHCaIr5(10/29) AAS
>>958
＞箱入り無数目は∃y.∀x.P(x,t)とは書けない
書ける
＞一方、xを全公開してなくても∀x.∃y.P(x,y)であることが証明されている
後者はPが具体的に書かれていないと証明されているのか不明。そもそも証明にはxが公開されているとかいう要素は関係ない
961(1): 2024/03/17(日)03:09 ID:VAa6dkvQ(55/75) AAS
時枝証明とおまえの持論は相容れない
おまえの持論の正しさを証明するには時枝証明の間違い箇所を具体的に指摘する必要がある
がんばれよｗ
962(1): 2024/03/17(日)03:13 ID:HNHCaIr5(11/29) AAS
>>961
記事の証明に間違いなんてねーぞ
そこは全員の共通認識だろ
今さら何言ってんの？
上下前次1-新書関写板覧索設栞歴
あと 40 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.150s*