这种方法使用了树状自然演绎法的引入规则和消除规则，却又使用了线性自然演绎法的证明格式。
在下才疏学浅。望楼主说明下这是什么证明方法，或者是哪本书上的内容。
但用树状自然演绎法的角度来看的话，第二步 消除否定符那里就是一个错误的操作。

树状证明如下

线性证明也很简单 用一次附加律，再用一次德摩根律就OK

1.~A.
∴~(A&B).
@2.(A&B).【假设】
@3.A.【2，分离律】
@4.A&~A.【1，3，合取律】
5.~(A&B).【2-4，间接证明】

再请教一题：P → Q, ¬ Q ⊢ ¬ P

这题如果要用线性自然演绎法，根本不需要反证法。
1.～A
2.～A v ～B 1，Add 附加率
3.～～（～A v ～B）2，DN 双否律
4.～（A^B）3，Dem 德摩根
线性自然演绎法中的条件证明法，也就是你们说的假设，通常适用于结论是一个条件命题。