推导的相关例句

根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。