英汉词典

1. 逻辑（上）的；（论证或推理方法）符合逻辑的
    In a logical argument or method of reasoning, each step must be true if the step before it is true.

    e.g. Only when each logical step has been checked by other mathematicians will the proof be accepted.
           只有每一逻辑步骤都被其他数学家验证之后，证明才能成立。