题目：《Logic Primer》第二版, Exercise 1.5.1, S32

~(P->Q) |- P&~Q

该书籍给出的证明过程如下：

前提假定	行号		注释
1	(1)	~（P->Q）	A
2	(2)	~P	A
3	(3)	P	A
4	(4)	~Q	A
2,3	(5)	Q	2,3 RAA(4)
2	(6)	P->Q	8 -> I(3)
1	(7)	P	1,6 RAA (2)
8	(8)	Q	A
8	(9)	P->Q	8->I (3)
1	(10)	~Q	1,9 RAA (8)
1	(11)	P&~Q	7,10 & I

疑问：
如何理解从第2行到第5行的证明过程？举例：P表示猫在左边，~P表示猫不在左边，~Q表示狗不在右边，根据P和~P就能证明Q狗在右边？？？

找到答案了：
https://en.wikipedia.org/wiki/Principle_of_explosion