离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带
问题描述：
离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带
构造下面的命题推理证明：前提：我去看望老张或老李.如果我去看望老张,那么我要带些书.如果我要带些书,那么我要去新华书店.结论：如果我没有去新华书店,那么我要去看望老李.
答
P:我去看望老张
Q:我去看望老李
B:我要带些书
C:我要去新华书店
问题符号化为：
非（P∧Q）(可以两个人都不去看 但不能同时看两个人)
P->B
B->C
非C->P
==>非C->Q
1 B->CP规则
2P->B P规则
3P->C T规则 1,2
4 非C->非PT规则 3
5 非（P∧Q） P规则
6非P->QT规则 5
7非C->Q T规则4 6