Question

离散数学 命题逻辑中的间接证明中附加前提的作用

附加前提的作用，选取什么作为附加前提，附加前提如何使用，谢谢

Answer 1

当推理的结构是具有：（A1∧A2∧..∧Ak）→（A→B）这样的的形式时
此时可以将结论的前件作为推理的前提，是结论为B，即把推理的形式结构改写为：
（A1∧A2∧..∧Ak∧A）→B
这种证明方法就称作附加前提证明法，附加的前提为结论的前件，A称为附加前提。

Answer 2

当结论为一命题蕴涵式时，可将该蕴涵式的前件作为附加的前提，
与已知的前提一起推出蕴涵式的后件

例如：

证明: (P→ (Q→R), ┐S∨P, Q)  (S→R)
证： (1) S (CP规则)
(2) ┐ S∨P (P规则)
(3) P (1)(2)
(4) P→ (Q→ R) (P规则)
(5) Q→R (3)(4)
(6) Q (P规则)
(7) R (5)(6)
(8) S→R (CP规则)