• 1. modus ponens: 肯定前件 | 假言推理 | 肯定前件式 | 分离规则
• 2. Generalized Modus Ponens: 提式 | 假言推理法 | 广义假言推理
• 3. modus ponens and modus tollens: 肯定前件和否定后件

更多释义

©2026 网易公司