Implies

Implies[p,q]

論理含意 を表す．

詳細

例題

すべて開くすべて閉じる

例  (2)

=>を使って入力する：

スコープ  (4)

ある種の引数は自動的に簡約される：

And，Or，Notについて展開する：

記号的な簡約を行う：

TraditionalFormよる表示：

アプリケーション  (3)

Impliesを用いて2つの範囲を結合する：

記号的な簡約：

代数条件で与えられた集合の差分の補集合の面積を求める：

この集合を示す：

Impliesを使って包含される集合を表す：

特性と関係  (2)

2引数のImpliesの真理値表：

Boole関数における条件の含意：

Wolfram Research (1988), Implies, Wolfram言語関数， https://reference.wolfram.com/language/ref/Implies.html （1996年に更新）.

テキスト

Wolfram Research (1988), Implies, Wolfram言語関数， https://reference.wolfram.com/language/ref/Implies.html （1996年に更新）.

CMS

Wolfram Language. 1988. "Implies." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/Implies.html.

APA

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

BibTeX

@misc{reference.wolfram_2024_implies, author="Wolfram Research", title="{Implies}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Implies.html}", note=[Accessed: 21-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_implies, organization={Wolfram Research}, title={Implies}, year={1996}, url={https://reference.wolfram.com/language/ref/Implies.html}, note=[Accessed: 21-November-2024 ]}