ImpliesQ


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

詳細詳細

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