ある整数 g が与えられたら、
g∈G (Gに含まれる)か、そうでないかを判定出来る時に、
Gの条件、Gが満たす性質が何であるのかを明らかにさせたいのです。
また、判定自体は可能ではあるものの、判定に若干のコストがかかるため
例えば整数全体をくまなく調べるような事は困難である、と言う条件も付いています。
例えば
「10桁の数字からなるIDを入れると、有効なIDか無効なIDかは分かるが、どういう条件を満たす10桁の数字が有効なのかは分からない」
のようなのですか。
例えば「最終桁は残りの9桁の数を9で割った余り」のように残りの9桁を登録順に定めるようにしておけばこの法則を「予想する」ことはできるかもしれませんが、しかし退会したら無効になるようにしてあれば、退会したかどうかは入れてみないと判定できません。
いずれにせよ「個々に入力すれば確かめられるが一般法則は不明」ですか。
でしたら、一般法則を予想することはあり得ますが、確実なことは言えません。
例えば、0から100まで確かめて偶数は入っているが奇数は入っていないことが分かっても、Gは偶数全体なのか0から100までの偶数全体なのかはそれだけでは分かりません。
そういう事はありません。
2019/05/31 12:43:44g∈G が、後になって¬(g∈G)になる事はありません。