Modus ponens
1) 肯定前件 （ Modus Ponens ）:
基于2492个网页-相关网页
肯定前件式 Modus Ponens
肯定前件和否定后件 modus ponens and modus tollens
应用推荐
模块上移
模块下移
不移动