自然推理系统：的拒取式的解析
要推导出 **"非A"** 的拒取式 (rejection form)，首先我们要理解逻辑推理中几个基本的概念。
假设我们有以下前提：
1. **A → B** （如果A成立，那么B成立）
2. **非B** （B不成立）
我们需要通过这些前提推导出 **非A**（A不成立）。
### 推导过程：
1. **A → B** 是一个条件命题，意味着如果A成立，则B也必须成立。
2. 由于给定前提 **非B**（B不成立），我们知道B的成立与否决定了A是否成立。
3. 结合 **A → B** 和 **非B**，我们得出结论：如果B不成立，那么A也不能成立。换句话说，如果A成立的话，B必定成立，但由于B不成立，A不可能成立。
4. 逻辑上，这个推理就是 **非A**，即：A不成立。
因此，拒取式是通过**假设A成立**（从A → B）然后推出B也必定成立，但因为给定条件是 **非B**，所以A不可能成立，从而得出 **非A**。
### 总结：
通过**假言推理**（如果A则B）与**否定后件**（非B）结合使用，最终推导出 **非A**。这个推理过程实际上是应用了**否定后件**的推理规则：如果“如果A，则B”成立，而B不成立，则A必定不成立。
希望这个解释清楚了推导过程！