早教吧作业答案频道 -->数学-->
离散数学伪证明如果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是实数则...的网友还看了以下:
原型法的实现可借助于许多工具为系统实现原型,其中下列哪种工具能用来完成自动输入编辑?A.集成数 2020-05-23 …
原型法可借助于许多工具,下列哪种工具用于存储系统的实体定义和控制信息?A.集成数据字典B.屏幕生 2020-05-23 …
原型法的实现可借助于许多工具为系统实现原型,下列哪种工具能用来完成自动输入编辑?()A.集成数据 2020-05-24 …
原型开发可借助于许多工具,下列()工具用于存储系统的实体定义和控制信息。A.集成数据字典B.屏幕生 2020-05-24 …
原型开发可借助可:许多工具,下列()工具用于存储系统的实体定义和控制信息。A.集成数据字典B.屏幕 2020-05-24 …
原型法的实现可借助于许多工具为系统实现原型,下面()能用来完成自动输入编辑。A.集成数据字典B.屏 2020-05-24 …
原型法的实现可借助于许多工具为系统实现原型,其中下列()能用来完成自动输入编辑?A.集成数据字典 2020-05-24 …
原型法可借助于许多工具,下列()用于存储系统的实体定义和控制信息。A.集成数据字典B.屏幕生成器C. 2020-05-24 …
假如一个总数量是A,完成数量是B,求完成百分比,应该怎么计算 2020-07-30 …
下列加点字注音和划横线词语书写都无误的一项是()A.它成为书画艺术的一个特殊载(zǎi)体.书画家必 2020-12-09 …