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

BibTeX

@misc{reference.wolfram_2024_impliesq, author="Wolfram Research", title="{ImpliesQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html}", note=[Accessed: 02-January-2025 ]}

BibLaTeX

@online{reference.wolfram_2024_impliesq, organization={Wolfram Research}, title={ImpliesQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ImpliesQ.html}, note=[Accessed: 02-January-2025 ]}