ImpliesQ
Experimental`
Experimental`
ImpliesQ
この機能の代りにResolveおよび関連したシンボルが使われるようになった．
ImpliesQ[expr1,expr2]
式 expr1が expr2を含意するか否かを判定する．
詳細とオプション
- ImpliesQを使うためには，まず試験的関数パッケージをロードしなくてはならない．それにはNeeds["Experimental`"]を実行する必要がある．
- ImpliesQは，あらゆる組込み規則を活用しても，expr1が expr2を含意することが決定できない場合，Falseを返す．
- 関連する関数Implies[expr1,expr2]は，expr1が expr2を含意するか否かが直ちに決定できない場合，評価されないままになる．
Wolfram Research (2007), ImpliesQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.
テキスト
Wolfram Research (2007), ImpliesQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.
CMS
Wolfram Language. 2007. "ImpliesQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html.
APA
Wolfram Language. (2007). ImpliesQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html