 |
)Implies 
Implies[p, q]
論理含意 
を表す．
詳細
- ブール関数として，Implies[p, q]は
と同値である． - Implies[p, q]は，
のようにStandardFormやInputFormで入力できる．記号
はEsc=>Escまたは\[Implies]として挿入できる．
バージョン 1 の新機能 | バージョン 3 での修正機能
|
Implies[p, q]
論理含意 を表す．
と同値である． のようにStandardFormやInputFormで入力できる．記号はEsc=>Escまたは\[Implies]として挿入できる．