名词解释

【参考答案】

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