>>863
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、ex t (λx.f(x,t))は∃y.∀x.P(x,t)の証明である。
は
>∀が先頭についてるんだから相手側に全公開してるだろ
の証明になってないって言ってるんだけど
的確に反論しないとｗ
スレタイ 箱入り無数目を語る部屋17
■ このスレッドは過去ログ倉庫に格納されています
865１３２人目の素数さん
2024/03/17(日) 00:54:26.72ID:VAa6dkvQ■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【フランス】仏で55万人デモ、暴動や放火 物価高や教育巡り、市庁舎全焼 ★2 [ぐれ★]
- 【野球】また下剋上 3位・DeNAの日本シリーズ進出に困惑 「邪道だ」「これでいいのかプロ野球」「ペナントレース勝ち抜いた意味ない」 [冬月記者★]
- 【東京】三軒茶屋で乗用車が女性に衝突 両足切断され意識不明の重体 乗用車運転の40代男を現行犯逮捕 ★2 [煮卵★]
- 【長崎】「バック中にブレーキとアクセル踏み間違えた」諫早の図書館で80代男性運転の車が女性2人をはね1人死亡 [ぐれ★]
- 山田邦子、〝熟年離婚〟増加に理解「年取ったら男は機能しない」「物体でしかない」 [muffin★]
- トイレで、下半身を触っているのが目撃された。 東京 [少考さん★]
- 【F1】日本人記者、持ち物検査でストップ！未納税のたばこ所持で関係者3人別室へ「高額にならないことを願う」シンガポール [737440712]
- 日本人「黒人「本当にいいの？僕は黒人だよ…」」 [667744927]
- 元TOKIO・山口達也の復帰を求める声、ヤフコメで相次ぐ [377482965]
- くら寿司の🪳混入動画、削除される [931948549]
- パリ、燃えるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]
- >くら寿司に🪳混入させたやつのお🏡🚗🚗🚗ﾌﾞﾝﾌﾞﾝﾌﾞｰﾝ