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