SEARCH MATHEMATICA 8 DOCUMENTATION

THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 >

Mathematica > 数学とアルゴリズム > 論理演算とブール代数 > ブール計算 >

Mathematica 組込みシンボル

Implies ()

Implies[p, q]
論理含意

を表す．

Implies[p, q]は，のようにStandardFormやInputFormで入力できる．文字はEsc => Escまたは\[Implies]として挿入できる．

Esc => Escを使って入力する：