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