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

提问时间:2020-11-06

答案
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
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
版权所有 CopyRight © 2012-2019 超级试练试题库 All Rights Reserved.