modusn.程序;方式
modus ponendo tollens立废式
Modus improved - operated改良术式
modus ponens and modus tollens肯定前件假言推理和否定后件假言推理