WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

ImpliesRealQ[ineqs1,ineqs2]

すべての変数のすべての実数に対して不等式および方程式 ineqs1が ineqs2を含意するか否かを判定する．

詳細とオプション
Details and Options Details and Options
関連項目
引用書式
Experimental`
Experimental`

ImpliesRealQ

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

ImpliesRealQ[ineqs1,ineqs2]

すべての変数のすべての実数に対して不等式および方程式 ineqs1が ineqs2を含意するか否かを判定する．

詳細とオプション

  • ImpliesRealQを使うためには，まず試験的関数パッケージをロードしなくてはならない．それにはNeeds["Experimental`"]を実行する必要がある．
Wolfram Research (2007), ImpliesRealQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

テキスト

Wolfram Research (2007), ImpliesRealQ, Wolfram言語関数， https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

CMS

Wolfram Language. 2007. "ImpliesRealQ." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html.

APA

Wolfram Language. (2007). ImpliesRealQ. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html

BibTeX

@misc{reference.wolfram_2025_impliesrealq, author="Wolfram Research", title="{ImpliesRealQ}", year="2007", howpublished="\url{https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html}", note=[Accessed: 30-April-2026]}

BibLaTeX

@online{reference.wolfram_2025_impliesrealq, organization={Wolfram Research}, title={ImpliesRealQ}, year={2007}, url={https://reference.wolfram.com/language/Experimental/ref/ImpliesRealQ.html}, note=[Accessed: 30-April-2026]}