推导

【意思解释】[derivation;deduction] 根据已知的公理、定义、定理、定律等经过演算和逻辑推理...