演绎

「演绎」（Deduction）是从一般到特殊的特化过程，即从基础原理推衍出具体状况。例如在数学公理中，基于一组公理和推理规则推导出与之自洽的定理。