逻辑学家告诉我们,只有肯定前件式(Modus Ponens,MP)和否定后件式(Modus Tollens,MT)是正确的推理形式,并且两者是等价的,而其他两种形式都是错误的.实验结果大大出乎逻辑学家的想象.
基于80个网页-相关网页
... modus vivendi 暂行架构 ; 活路模式 ; 生活方式 ; 权宜之计 modus tollens 否定式 ; 否定后件推理 ; 否定后件式 ; 否定后件律 modus adquirendi 取得形式 ...
基于70个网页-相关网页
modus ponens and modus tollens 肯定前件和否定后件
Generalized Modus Tollens 假言推理法 ; 广义拒式假言推理法
Fuzzy Modus Tollens 模糊拒取式
Modus ponendo tollens 选言三段论 ; 取拒式 ; 用肯定来否定式 ; 肯定否定式
以上来源于: WordNet
N the principle that whenever a conditional statement and the negation of its consequent are given to be true, the negation of its antecedent may be validly inferred, as in if it's Tuesday this must be Belgium and this isn't Belgium so it's not Tuesday 否定后件推理 [logic]
应用推荐