Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > Implies () >
Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 > Implies () >
Mathematica > 数学とアルゴリズム > グラフとネットワーク > グラフプログラミング > ブール計算 > Implies () >
MATHEMATICA 組込みシンボルチュートリアル »|関連項目 »|その他 »

Implies

Implies
論理含意 を表す．
詳細
  • ブール関数として，Impliesは と同値である．
例題すべて閉じる
例   (2)
Esc => Escを使って入力する：
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
 
Esc => Escを使って入力する：
In[1]:=
Click for copyable input
Out[1]=
スコープ   (4)
ある種の引数は自動的に簡約される：
And，Or，Notについて展開する：
記号的な簡約を行う：
TraditionalFormよる表示：
アプリケーション   (3)
Impliesを用いて2つの範囲を結合する：
記号的な簡約：
代数条件で与えられた集合の差分の補集合の面積を求める：
この集合を示す：
Impliesを使って包含される集合を表す：
特性と関係   (2)
Impliesの真理値表：
Boole関数における条件の含意：
バージョン 1 の新機能 | バージョン 3 での修正機能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
フォーマット:   HTML  |  CDF