[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
669(1): 2023/07/24(月)23:27 ID:3E17G7TW(6/7) AAS
>>668
>∃dx∃dy が、命題であろうがなかろうが、本質とは無関係
わろたｗ
>”dx >= dy”という評価式が使える場合の確率0
dx,dyは決定番号ですよね？
決定番号が自然数であることは認めましたよね？
「自然数の大小関係の評価式が使えない場合」とはどういう場合ですか？
省8
684(1): 2023/07/25(火)14:30 ID:0LQXkxv6(3/6) AAS
>>669
(引用開始)
>∃dx∃dy が、命題であろうがなかろうが、本質とは無関係
わろたｗ
>”dx >= dy”という評価式が使える場合の確率0
dx,dyは決定番号ですよね？
決定番号が自然数であることは認めましたよね？
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 3.302s*