[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
568(1): 2024/06/26(水)08:58 ID:Eq6apaXC(6/8) AAS
∀x.∃y.xy=1 証明：y=1/x とすればよい（yはxに依存）
∀x.∃y.xy=0 証明：y=0 とすればよい（yはxに非依存）
このようにyはxに依存してもしなくてもよい よって∀が先頭だからといって必ずしもカンニングしてるとは言えない
578: 2024/06/26(水)16:16 ID:tkh8e6AK(7/13) AAS
>>568
なんでこれ無視するの？
157 １３２人目の素数さん sage 2024/06/11(火) 19:38:07.14 ID:+82XMG1Z
先頭に∀を置く←カンニングを容認した論理
先頭の∀を後ろに移動できない←カンニングしている証拠
後ろに∀を置く←カンニングを禁止する論理
なんでこれがわからないんだ？
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s