modus ponens 肯定前件 ; [社科] 假言推理 ; 肯定前件式 ; 分离规则
Generalized Modus Ponens 提式 ; 假言推理法 ; 广义假言推理
modus tollerdo ponens 否定肯定式
modus ponens and modus tollens 肯定前件和否定后件
modus tollendo ponens [数] 拒取式
op-ponens splint 对掌功能夹板
eneralized modus ponens 一般化假言推理
应用推荐