A logical or mathematical process indicating through a sequence of statements that a result such as a theorem or a formula necessarily follows from the initial assumptions.
英
美
- 推导逻辑推理和数学演算过程,表明定理或公式是最初假设的必然结论。