其中最为人们所熟知的是肯定前件式 (modus ponens)：“从 p 和 假设p，那么q 中推出 q ”。在弗雷格的体系当中，他要求把所有运用它的逻辑规则证明为推理的唯一规则。
基于56个网页-相关网页
肯定前件式
Affirm the antecedent form
以上为机器翻译结果，长、整句建议使用 人工翻译 。
肯定前件式，英文名modus ponens，只肯定前件的假言推理形式。形式如下： p -> q （前提1, p、q是命题） p （前提2） 则q （结论）
详细内容
应用推荐
模块上移
模块下移
不移动