modus-ponens

modus-ponens什么意思,modus-ponens翻译

基本解释

网络: 肯定前件式；假言推理；肯定前件假言推理