• 中英互译
  • 中法互译
  • 中日互译
  • 中韩互译
清除

肯定前件式

  • 简介 肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下：
    p -> q （前提1, p、q是命题）
    p （前提2）
    则q （结论）

以上来源于: 百度百科

有道词典-市场占有率第一的词典，立即下载

有道首页|反馈意见| 切换到PC版

©2015 公司 京ICP证080268号