名词解释

逻辑推演

【参考答案】

从公理推演出定理(或理论假设),也称命题逻辑推演。