[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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が公開されているとかいう要素は関係ない
963(1): 2024/03/17(日)03:13 ID:VAa6dkvQ(56/75) AAS
>>960
>書ける
じゃyを書いてみて
>そもそも証明にはxが公開されているとかいう要素は関係ない
0260１３２人目の素数さん
2024/03/07(木) 16:55:42.19ID:C3Ro7iPT
>>259
∀が先頭についてるんだから相手側に全公開してるだろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s