早教吧作业答案频道 -->数学-->
离散数学伪证明如果a是实数则它不是无理数就是有理数,如果a不能表示成分数,则它不是有理数.a是实数,且它不能表示为分数,所以a是无理数.
题目详情
离散数学伪证明
如果a是实数则它不是无理数就是有理数,如果a不能表示成分数,则它不是有理数.a是实数,且它不能表示为分数,所以a是无理数.
如果a是实数则它不是无理数就是有理数,如果a不能表示成分数,则它不是有理数.a是实数,且它不能表示为分数,所以a是无理数.
▼优质解答
答案和解析
记
p:a 是实数,q:a 是有理数,r:a 是无理数,s:a 能表成分数
则
前提:p→(┐r→q),┐s→┐q,p∧┐s
结论:r
推理如下:
1)p∧┐s 前提引入
2)p 1)化简
3)p→(┐r→q) 前提引入
4)┐r→q 2)3)假言推理
5)┐q→r 4)等价置换
6)┐s→┐q 前提引入
7)┐s 1)化简
8)┐q 7)6)假言推理
9)r 9)5)假言推理
得证.
或
前提:p→(┐r→q),┐s→┐q
结论:p∧┐s→r
推理如下:
1)p∧┐s 附加前提引入
2)p 1)化简
3)p→(┐r→q) 前提引入
4)┐r→q 2)3)假言推理
5)┐q→r 4)等价置换
6)┐s→┐q 前提引入
7)┐s 1)化简
8)┐q 7)6)假言推理
9)r 9)5)假言推理
得证.
p:a 是实数,q:a 是有理数,r:a 是无理数,s:a 能表成分数
则
前提:p→(┐r→q),┐s→┐q,p∧┐s
结论:r
推理如下:
1)p∧┐s 前提引入
2)p 1)化简
3)p→(┐r→q) 前提引入
4)┐r→q 2)3)假言推理
5)┐q→r 4)等价置换
6)┐s→┐q 前提引入
7)┐s 1)化简
8)┐q 7)6)假言推理
9)r 9)5)假言推理
得证.
或
前提:p→(┐r→q),┐s→┐q
结论:p∧┐s→r
推理如下:
1)p∧┐s 附加前提引入
2)p 1)化简
3)p→(┐r→q) 前提引入
4)┐r→q 2)3)假言推理
5)┐q→r 4)等价置换
6)┐s→┐q 前提引入
7)┐s 1)化简
8)┐q 7)6)假言推理
9)r 9)5)假言推理
得证.
看了 离散数学伪证明如果a是实数则...的网友还看了以下:
总账管理子系统中,参数“凭证行科目列中显示辅助项目”下拉选择编码+简称,填制凭证,客户辅助核算科目输 2020-05-31 …
已知:一个圆上的N等分点A1,A2,A3,A4…则从圆心做向量OA1,OA2,OA3,OA4…试判 2020-07-09 …
定积分证明题设x>0,证明∫1/(1+t^2)+∫1/(1+t^2)=π/2注:两个积分式的上下线 2020-07-29 …
阅读与计算,请阅读以下材料,并完成相应的问题.角平分线分线段成比例定理,如图1,在△ABC中,AD 2020-08-02 …
2016年9月16日,著名歌手、演员乔任梁意外死亡,年仅28岁。而大家十分关心的乔任梁死亡真相,则被 2020-11-21 …
罗素哲学问题.例如,有人看见过许多白天鹅,他便可以根据我们的原则论证说:根据已有的材料,或许所有的天 2020-11-27 …
基础数学研究,是专家级的请进!请证明:任意两个有理数相除,所得结果除了可以整除外,即是无限循环的数! 2020-12-09 …
判断下列命题的真假,并给出证明.(1}相等的角是对顶角;(2)若x≠1,则分式2x/x^2-1有意义 2020-12-13 …
请读下面名言,写出这句话所蕴含的深刻道理,并举一个能证明这个道理的恰当事实论据.一个人就好像是一个分 2020-12-31 …
狄利克雷函数D(x)=1,x为有理数0,x为无理数.试分别用(1)极限定义;(2)柯西收敛准则,证明 2021-01-20 …