ImpliesQ


を含意するか否かを判定する.

詳細詳細

  • を使うためには,まず試験的関数パッケージをロードしなくてはならない.それにはNeeds["Experimental`"]を実行する必要がある.
  • は,あらゆる組込み規則を活用しても,を含意することが決定できない場合,Falseを返す.
  • 関連する関数Implies[expr1, expr2]は,を含意するか否かが直ちに決定できない場合,評価されないままになる.
New to Mathematica? Find your learning path »
Have a question? Ask support »