試験的関数パッケージ
EXPERIMENTAL パッケージ シンボル

ImpliesQ


式 が を含意するか否かを判定する．

詳細詳細

  • を使うためには，まず試験的関数パッケージをロードしなくてはならない．それにはNeeds["Experimental`"]を実行する必要がある．
  • は，あらゆる組込み規則を活用しても，が を含意することが決定できない場合，Falseを返す．
  • 関連する関数Implies[expr1, expr2]は，が を含意するか否かが直ちに決定できない場合，評価されないままになる．
Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »