【日本数学】逻辑用语中日对照表
(本文未经许可禁止转载)
逻辑用语
| 中文 | 日本語 |
|---|---|
| 因为A所以B | Ａであるから、Ｂである。 |
| 由A可得B | Ａのことより、Ｂである。 |
| 把A代入B | ＡをＢに代入する。 |
| A成立，加之B成立，所以C | Ａが成り立ち、またＢも成り立つから、Ｃである。 |
| A不证自明 | Ａは自明である。 |
| 显然 | あきらかに |
| 同理 | 同様に |
| 同时 | 同時に |
| 故 | ゆえに |
| 即 | すなわち |
| 综上所述 | したがって |
| A与B矛盾 | ＡはＢに矛盾する。 |
| A或者B | ＡまたはＢ |
| A且B | ＡかつＢ |
| A是B的充分条件 | ＡはＢであるための十分条件である。 |
| A是B的必要条件 | ＡはＢであるための必要条件である。 |
| A是B的充要条件 | ＡはＢであるための必要十分条件である。 |
| A是B的既不充分也不必要条件 | ＡはＢであるための必要条件でも、 十分条件でもない。 |
| A的逆否命题 | Ａの対偶 |
| A的否命题 | Ａの裏 |
| A的否定 | Aの否定 |
| A的逆命题 | Ａの逆命題 |
| A等价于B | ＡとＢは同値 |
| 若A则B | ＡならばＢ |
| 真 | 真 |
| 假 | 偽 |
| 设A为B | ＡをＢとおく |
| 不妨设A为B | ＡをＢとしてよい |
| 两边同时做A | 両辺にＡをする |
| 众所周知A | Ａが知られている |
| 已知A | Ａは既知 |