ForAll

ForAll[x, expr]はxのすべての値についてexprがTrueであると宣言する．

ForAll[x, cond, expr]は制約条件condを満たすすべてのxについてexprがTrueであると宣言する．

ForAll[, , ... , expr]はすべてののすべての値についてexprがTrueであると宣言する．

ForAll[x, expr]はと入力できる．という記号は faまたは\[ForAll]と入力できる．変数xは下付き文字として与えられる．

ForAll[x, cond, expr]はと入力できる．

StandardFormでは，ForAll[x, expr]はと出力される．

ForAll[x, cond, expr]はと出力される．

ForAllはReduce，Resolve，FullSimplifyのような関数で使うことができる．

制約条件condはしばしばx Integersにおけるように変数の領域を指定するのに用いられる．

ForAll[x, cond, expr]はForAll[x, Implies[cond, expr]]と等価である．

ForAll[, , ... , ... ]はと等価である．

ForAll[x, expr]におけるxの値は，Blockにおけるように局所化されると解釈される．

参照セクション：3.4.11.

次も参照：Exists，Resolve，Reduce，Element，Blank，SolveAlways.

バージョン5.0の新関数

他の例