题目
求解下列逻辑学式:(p->非q)且(r->s)且(p或r)->(q或s)
本人算了一上午没有结果,
本人算了一上午没有结果,
提问时间:2021-03-12
答案
是不是抄错题了?第一个式子应该是(p→q)吧?如果是,那你这个推理应该就是著名的“二难推理”的一个变种:
前提有3:
(1)p→q:p成立时,会有q成立;
(2)r→s:r成立时,会有s成立;
(3)p∨r:p、r至少有1个成立;
结论:
(4)q∨s:q、s至少有1个成立;
直觉上,这个推理也应该是成立的.其严格的推理过程是:
(1)=p→q=┐p∨q;
(2)=r→s=┐r∨s;
(5)=(1)∧(2)∧(3)=(┐p∨q)∧(┐r∨s)∧(p∨r);
上式(5)是根据3个前提等价推导出来的一个合取式.下面看结论:
(4)=q∨s;
则其否定为:
(4′)=┐(q∨s)=┐q∧┐s;
将(5)、(4′)合取:
(5)∧(4′)=(┐p∨q)∧(┐r∨s)∧(p∨r)∧(┐q)∧(┐s)=F;
这表示:前提与结论的否定,是不相容的.所以,该结论一定是成立的——反证法原理.
当然了,如果原题的第一个式子确实是:p→┐q,那本题就是错误的.因为,此时的3个前提可以得到一个与结论(q∨s)相矛盾的另一个结论:
p∧┐q∧┐r∧┐s;
p∧┐q:可保证前提1成立;
┐r∧┐s:可令前提2成立;
p∧┐r:可使前提3成立;
而:
┐q∧┐s:与结论矛盾.
前提有3:
(1)p→q:p成立时,会有q成立;
(2)r→s:r成立时,会有s成立;
(3)p∨r:p、r至少有1个成立;
结论:
(4)q∨s:q、s至少有1个成立;
直觉上,这个推理也应该是成立的.其严格的推理过程是:
(1)=p→q=┐p∨q;
(2)=r→s=┐r∨s;
(5)=(1)∧(2)∧(3)=(┐p∨q)∧(┐r∨s)∧(p∨r);
上式(5)是根据3个前提等价推导出来的一个合取式.下面看结论:
(4)=q∨s;
则其否定为:
(4′)=┐(q∨s)=┐q∧┐s;
将(5)、(4′)合取:
(5)∧(4′)=(┐p∨q)∧(┐r∨s)∧(p∨r)∧(┐q)∧(┐s)=F;
这表示:前提与结论的否定,是不相容的.所以,该结论一定是成立的——反证法原理.
当然了,如果原题的第一个式子确实是:p→┐q,那本题就是错误的.因为,此时的3个前提可以得到一个与结论(q∨s)相矛盾的另一个结论:
p∧┐q∧┐r∧┐s;
p∧┐q:可保证前提1成立;
┐r∧┐s:可令前提2成立;
p∧┐r:可使前提3成立;
而:
┐q∧┐s:与结论矛盾.
举一反三
已知函数f(x)=x,g(x)=alnx,a∈R.若曲线y=f(x)与曲线y=g(x)相交,且在交点处有相同的切线,求a的值和该切线方程.
我想写一篇关于奥巴马的演讲的文章,写哪一篇好呢?为什么好
奥巴马演讲不用看稿子.为什么中国领导演讲要看?
想找英语初三上学期的首字母填空练习……
英语翻译
最新试题
- 1焦耳定律为什么不研究热量与电压、电阻的关系或电流电压的关系?
- 2一个空心铁求正好能够悬浮在水中,球的体积和组成这个铁球的铁的体积之比为多少?
- 3现代人说的“火星”是什么意思
- 4小明的爸爸买了二年期债券4500元,今年到期,扣除20%利息税后,共得本利和约4700元,问这种债券的年利率多
- 5经济要发展,环境要保护.可是经济的发展,有时会以牺牲环境为代价.应当怎样处理好发展经济与保护环境的关系
- 6=比如悬梁刺骨的孙敬,他是一个晋朝人
- 7汶川地震发生后,全国人民抗震救灾,众志成城.某地政府急灾民之所需,立即组织12辆汽车,将A、B、C三种救灾物资共82吨一次性运往灾区,假设甲、乙、丙三种车型分别运载A、B、C三种物
- 8鸟类属于哺乳动物吗
- 9水管上说的2寸水管.4分水管那直径分别多少厘米?
- 10excel用SUMIF函数进行条件求和,多重筛选
热门考点
- 1植树节,学校种下120棵树苗,树苗的成活率是90%,有多少棵树苗没有成活
- 2四下暑假作业本语文第54页《承诺》 克雷斯这时会想些什么?
- 3在边长为1的正方形ABCD中,|向量AB-向量AD-向量BC|=
- 4小球自静止起沿斜面下滑作匀加速直线运动 第1秒内的位移是多少?小球的加速度为1m /s
- 5we need five persons______(play)this game.用所给词的恰当形式填空
- 6已知函数f(x)=ax^2 (1-2a)x-lnx
- 7过抛物线y^2=2px(p>0)的顶点作两条互相垂直的弦,交抛物线于点A、B.过原点O作弦AB的垂线,垂足为点H,求点H的轨迹方程.
- 8那一次我很快乐(作文)
- 9Gifts for My Parents 英语作文求写,70词
- 10How long 的提问什么时候用完成时什么时候用过去时?