当前位置: 王朝网络 >> 百科 >> 肯定前件式

肯定前件式

王朝百科·作者佚名 2010-06-06

肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下：

p -> q （前提1, p、q是命题）

p （前提2）

则q （结论）

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。