构造下列推理的证明。设个体域为实数域。不存在能表示成分数的无理数。有理数都能表示成分数。因此，有理数都不是无理数。
设[tex=3.429x1.357]OWLIU3SFM3tHLJg7ZSPD0w==[/tex]是无理数[tex=3.571x1.357]bXe4c468+wuQYx7I15j5TQ==[/tex]是有理数[tex=3.643x1.357]oBrOhxxwLkvanFnxGHH5bg==[/tex]能表示成分数。前提:[tex=17.643x1.357]o5BElzW2LIGXfQdK6oqebHKQfeInDgM53AHP0Vygz1cnlKTb8MHDVokWCB3UhbiuAbw5eAp0y7ZljSnavrj264aGZU+/EtPFyVFM+q5Y4hE=[/tex]结论:[tex=9.071x1.357]V6DvjzPBBS0aV4BUorU8LjitPZF+RPPEUXi/SyVnH7Zoq+kAREHV8tYeGb1p9/7R[/tex][tex=28.929x1.357]o5BElzW2LIGXfQdK6oqebHKQfeInDgM53AHP0Vygz1fVVDFOKATHMaJltE1CS/H18u+1tjSNAPBMSW06THXkXk7iaU6xIeIfDVDCC5W+2EOHGoe7dSDgRrY8xvEzMuQ5IcSLS9+JsC8kussVVzUfZy6Zu31dcnkLXkYCaGu9xDc=[/tex]证明过程如下:[tex=10.643x1.357]T2y15qOEH9az/cL37gb8TFvzZPSS0kIs0R3O0n5TPqchTqtLAmV5smyz7asLNjLX[/tex][tex=0.643x1.0]Ft8KOBgb78fnKY0jEt4Rsg==[/tex],[tex=13.214x1.357]w7eVb6L1qazetILyJek7PiGMEk0asSGRKmk++sekCDld4+GCAFyNQ7MhpFUB3J2e5zOHrb94R6nqYbpNK0QfTA==[/tex],[tex=11.429x1.357]vArlTREoKOMJAlrcR+mEdtNqZ9VnteXwBvrF0SbodBQXjLOA6kejnJWimaGzUArzpqf9FxmiZ94oaRlXCQO3/w==[/tex][tex=2.643x1.357]N4/gHyuX6tG8xzyv8M4/ug==[/tex],[tex=8.214x1.357]AIGQG56ratrnAZG87Xil67p9aXhnKeUlg9yyThfosDQv37mu8QLEDUic0rnqu3Md[/tex][tex=2.643x1.357]RTiDJBFMh/g9qx2k3SiO6w==[/tex],[tex=10.5x1.357]loRxuxlOFTp8KvPAN6dvhWP0NLMdgRya6qXfky2oUt63cZp1sMzioMG40Qc1LH0c[/tex][tex=0.643x1.0]Ft8KOBgb78fnKY0jEt4Rsg==[/tex],[tex=7.714x1.357]6Iai5LH7KAylTuoh8Jl8lhSqcwXSEn7Mnvw2yu9LBMyENhe+G6NAkT4xF97hN7Ju[/tex][tex=2.643x1.357]OmLiSZLcvcp3oAaMnN3fiQ==[/tex],[tex=8.143x1.357]+ean79yAzhg1PgR8BxECgs2V3PNMJ1rl0eehzNKJkIiL2+NyI+Mrs2Hj5Cz9hnVj[/tex][tex=4.071x1.357]CDVYOX2ARdgRFcU7eHGbfA==[/tex],[tex=11.0x1.357]KBvnyE7F9ECJSU5tTA/OKMoXlo4JdF7pZd2jFDEgXNThcPcJASZkq8SJRWap0P7qAJh4hrdG/fiGcbhICnkIkQ==[/tex][tex=2.786x1.357]qfmowb4pMjHA+JTtbtqiYg==[/tex]
举一反三
- 在自然推理系统F中，构造用自然语言描述的推理的证明：实数不是有理数就是无理数，无理数都不是分数，所以，若有分数，则必有有理数(个体域为实数集合R)
- 在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.实数不是有理数就是无理数.无理数都不是分数.所以.若有分数,则必有有理数(个体域为实数集[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]).
- 用消解原理证明一下推理是正确的：前提：(1) 不存在能表示为分数的无理数.(2) 有理数都可以表示为分数. 结论: (3) 有理数都不是无理数.
- 在一阶逻辑自然推理系统N中构造下面推理的证明 . [br][/br]不存在不能表示成分数的有理数.无理数都不能表示成分数.所以,无理数都不是有理数.
- 在自然推理系统F中，构造下面推理的证明：有理数，无理数都是实数，虚数不是实数，因此，虚数既不是有理数，也不是无理数
内容
- 0
数域的问题：在实数域与有理数域之间是否存在其他的数域?是什么数域?
- 1
学生掌握数的概念时，把数分为实数和虚数;又把实数分为有理数和无理数;有理数又可分为整数、小数和分数等属于思维的抽象过程 。（)
- 2
在自然推理系统 [tex=1.214x1.214]qAleWqgMZntB9lU9kdgZKg==[/tex] 中，证明下列推理.[br][/br]有理数和无理数都是实数.虚数不是实数.因此,虚数既不是有理数,也不是无理数.
- 3
最大的数域是（）。 A: 复数域 B: 实数域 C: 有理数域 D: 不存在
- 4
下述表述错误的是： A: 整数集不是数域。 B: 有理数集是最小的数域。 C: 实数域和复数域之间没有非平凡数域。 D: 有理数域和实数域之间没有非平凡数域。