>>872
>∀x.∃y.P(x,y)の証明が、λx.ex t f(x,t)の形をしてて、xがtに自由に現れないとき、∃y.∀x.P(x,t)が証明できることの証明だろ
え？？？
λx.ex t f(x,t) ⇒ ex t (λx.f(x,t)) の証明は？
それ無いと∃y.∀x.P(x,t)が証明できることの証明になってないぞ
スレタイ 箱入り無数目を語る部屋17
■ このスレッドは過去ログ倉庫に格納されています
875１３２人目の素数さん
2024/03/17(日) 01:09:04.96ID:VAa6dkvQ■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 高市内閣支持率49.1％で過去最低 共同通信世論調査 [少考さん★]
- イオンモールおじさんにSNS賛否 中年男性のファッションは何が正解？400人アンケートで圧倒的人気は「ユニクロ」「無印」 [muffin★]
- 【東京】三軒茶屋で乗用車が女性に衝突 両足切断され意識不明の重体 乗用車運転の40代男を現行犯逮捕 ★3 [煮卵★]
- 【長崎】「バック中にブレーキとアクセル踏み間違えた」諫早の図書館で80代男性運転の車が女性2人をはね1人死亡 [ぐれ★]
- トイレで、下半身を触っているのが目撃された。 東京 [少考さん★]
- 【中国人観光客の大阪離れ】ハンパない 全国比でも目立つ減り方、関空の中国便も7割減...韓国や台湾からは増加 [ぐれ★]
- 【実況】博衣こよりのえちえちホロライブ甲子園2026本戦DAY5🧪
- くら寿司の🪳混入動画、削除される [931948549]
- パリ、燃えるwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]
- 【悲報】小泉防衛大臣、Xの投稿をミスる [834922174]
- 高市早苗、急激に批判され出す。10月値上げで生活防衛が不可能になった人が非常に多い模様 [784319933]
- 【悲報】私中卒やからね…