扣除

扣除,在逻辑从一个或多个命题(前提)中推导出一个命题(结论)的严格证明-也就是说,一个语句链，每一个都是A前提或者是证明中前面出现的陈述的结果。这种用法是对希腊哲学家的概括亚里士多德被称为三段论但三段论现在只被认为是演绎的一种特殊情况。此外，传统的观点，演绎进行“从一般到具体”或“从普遍到特殊”已被大多数逻辑学家抛弃为不正确的。一些专家认为这些都是正确的推理作为形式的演绎，由于这个和其他原因，拒绝演绎和之间的假定对比感应。另请参阅公理化方法；正式的系统；推理。