离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带

来源：学生作业帮编辑：拍题作业网作业帮分类：数学作业时间：2024/04/28 01:55:38

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

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

离散数学构造下面的命题推理证明:前提:我去看望老张或老李.如果我去看望老张,那么我要带英语翻译1.昨天他决定去看望他的爷爷奶奶（decide)2.上周六我和同学打排球玩得很开心(have fun)3.我的老老张骑车去东北构造下面推理的证明今晚我去剧场看戏或者去夜大上课；如果我去剧场看戏,那么我很高兴；如果我去夜大上课,那么我要吃个鸡蛋；由要去养老院看望老人们,买点什么好呢?去看望是要拜访所有的老人还是有选择的? 凤凰小学六(1)班的42名同学利用周末去敬老院看望老人们. 英汉互译（就是把英文译成汉语,把汉语译成英文） 1.那是谁的钢笔 2.大明昨天做什么 3.我昨天去看望我的老我打算去看望我的爷爷奶奶.英文怎么写? 上星期六我去看望了我的叔叔,英语翻译修改病句:老师和我去看望. 用英语翻译我准备去看望外婆我会一直战斗直到我老去的英语翻译