OBSOLETE EXPERIMENTAL パッケージ シンボル

ImpliesQ

この機能の代りにResolveおよび関連したシンボルが使われるようになった.

ImpliesQ[expr1,expr2]
expr1expr2を含意するか否かを判定する.

詳細詳細

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