 |
Equivalent
Equivalent[e1, e2, ...]
すべての 
が等しい場合にTrueを与える論理的等価 
を表す．
詳細
- Equivalent[e1, e2, ...]は，StandardFormまたはInputFormで
として入力できる．記号
はEscequivEscまたは\[Equivalent]で入力できる． - ブール関数として，Equivalent[e1, e2, ...]は
に等しい．
バージョン 7 の新機能
|
Equivalent[e1, e2, ...]
すべての が等しい場合にTrueを与える論理的等価 を表す．
として入力できる．記号はEscequivEscまたは\[Equivalent]で入力できる．に等しい．