发帖
雷达卡
~(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
京公网安备 11010802022788号
