离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带构造下面的命题推理证明：前提：我去看望老张或老李.如果我去看望老张,那么我要带些书.如果我要带些书,那么我要去新华书店.结论：如果我没有去新华书店,那么我要去看望老李.

P:我去看望老张
Q:我去看望老李
B:我要带些书
C:我要去新华书店
问题符号化为：
非（P∧Q）(可以两个人都不去看 但不能同时看两个人)
P->B
B->C
非C->P
==>非C->Q
1 B->C P规则
2 P->B P规则
3 P->C T规则 1,2
4 非C->非P T规则 3
5 非（P∧Q） P规则
6 非P->Q T规则 5
7 非C->Q T规则 4 6