SEARCH MATHEMATICA 8 DOCUMENTATION

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

Mathematica > 論理演算とブール代数 >

Mathematica 組込みシンボル

Implies ()

Implies[p, q]
論理含意

を表す．

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

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

バージョン 1 の新機能 | バージョン 3 での修正機能