证明技巧：思路图使用公理系统时，证明的「构思过程」与证明的「书写过程」大相径庭。思考过程往往从最后一步开始，逐步规约。来看两个例子传递律的证明\[A\rightarrowB,B\rightarrowC\vdashA\rightarrowC\]Thinking&Writing...换位律的证明\[\vdash(A\rightarrow(B\ri

T1证明\(\negA\rightarrowB,\negA\rightarrow\negB\vdashA\)可用定理：\(\vdash(\negA\rightarrowA)\rightarrowA\)Proof\[\begin{aligned}A_1:\quad&\negA\rightarrowB&\in\Gamma\\A_2:\quad&\negA\rightarrow