取式推理

取式推理（modus ponens），文学-语言文字-计算语言学及语料库语言学-计算语言学，演绎推理的中心规则。取式推理的规则形式为：前提（大前提、小前提）⟶结论。例如，（大前提）所有的奔驰汽车都很快，（小前提）张三的汽车是奔驰⟶（结论）张三的汽车很快。 在演绎推理中，如果前提为真，结论必为真。