どうして量化記号は大事なのでしょうか？ 量化記号が「どの変数を誰が自由に選べるのか」「何を固定し、何を作り、何を消さなければならないのか」を決めるから。 数式そのものだけでは、問題が何なのか決まりません。 たとえば同じ x^2+ax+1=0 という式でも、 ∃x : x^2+ax+1=0 なら「実数解を持つaを求めよ」で、判別式を使ってxを消せばよい。 一方、 ∀x : x^2+ax+1=0 なら
この情報へのアクセスはメンバーに限定されています。ログインしてください。メンバー登録は下記リンクをクリックしてください。