在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.实数不是有理数就是无理数.无理数都不是分数.所以.若有分数,则必有有理数(个体域为实数集[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]).

2022-06-06

在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.实数不是有理数就是无理数.无理数都不是分数.所以.若有分数,则必有有理数(个体域为实数集[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]).

答案：

设 [tex=2.857x1.357]y1AzowMbyXgtXN6+W01Jgw==[/tex] 是有理数 [tex=4.0x1.357]V1ptf8j9UhCwKo+ESxqhRw==[/tex] 是无理数 [tex=4.071x1.357]oRuzAamrb7yWw9y6vgRlow==[/tex] 是分数. [br][/br]前提: [tex=15.5x1.357]QXr6VXLOoZDJx9WKhJqf0kD/W9hpnckfyGwS3dFuu8gKR7gdxOR0XLCCMkaMD2KUvysggn2HnUwg2Vbodv03iSH7DowTwH1x3AvASMLusCk=[/tex]结论:[tex=7.429x1.357]oNmOOKd+sl/OZ6LcT9a97T1GdXGVSMDyzK/nenZ2wgRSQ5x8ufBwLDF0yTn41TId[/tex]证明:[tex=8.429x1.357]yLDce4gdBhWhvR7nemRcAF45EvDwDXyCcIaA/uF18Og=[/tex]                                       前提引入[tex=6.357x1.357]mnFynfDgTb85DbzbAJavmleDGkvpqCR8ErX1wAvlsO0=[/tex]                                              [tex=2.643x1.357]2LgvyvjygJOx/DH36hE3oQ==[/tex][tex=6.929x1.357]ZV1TbihHrpURyk5OmCkb95OLmpmCX//Ivj0gbTd5HkppWF4/0UctTxIDZaM+FcOX[/tex]                                            [tex=1.286x1.357]BEB68bP4vOVk/XYYizw11w==[/tex]置换[tex=9.214x1.357]XIvi63pnJOpSgs+EDrLqHJdKjmZuWM6oIB17IMhrNGTHJN8RdMz6vpPPgedk+mJw[/tex]                                     前提引入[tex=7.143x1.357]nyJfhZbMHOYaq2BBDXaVQ91wA9j2XtK42ElaxiihhpIp9979S7QAQ/lm1KTipu9E[/tex]                                           [tex=2.643x1.357]mzdoMEMwv4XK8y2KMas8VA==[/tex][tex=7.643x1.357]icC1JwKB7or1AQ4UdAdm91g4599NSl59Emt7hpSZskkag/YsmgNVkE1h39NrRTfs[/tex]                                         [tex=2.571x1.357]SYb0/QnM44FKUNmydec2cA==[/tex]假言三段论[tex=6.357x1.357]0Zyry3+XqX0KwzST8zItZBoaEIy/j8E8ZnipU1009LM=[/tex]                                             [tex=1.286x1.357]gfNg2L7OjFhF/G4XiUhPGA==[/tex]置换[tex=7.5x1.357]VLurwprLTSfI4uFlYU+7sDh3WZWuj/wuUV2bSfXiulfu87KrGU7V2Btef3ybsrWY[/tex]                                         [tex=2.643x1.357]9nfVfobCLeCqFbUMN4EaQA==[/tex][tex=8.571x1.357]EcVYnKpsOAbJQvIDJe63nUryxDLKtgjZgTWe01rO/IDNcQhE5nGnkvUeS7yiAx2D[/tex]                                      [tex=2.643x1.357]VVn3mBSks8TmMVS2CJdRiw==[/tex][tex=9.214x1.357]D5/6rHcoNo+3sPTlKoMqWr31Rzl3cy0++mZWt/oATTlUUECjrNDvvSfLjYjTfAUA2nZpbiXWzvV14cI/UyBvYA==[/tex]                                    [tex=1.286x1.357]vbzQUlGG21LtqcY5iiWKMQ==[/tex]置换

举一反三

内容

0
在命题逻辑自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中构造下面推理的证明.[br][/br][tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]是有理数或无理数.若 [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex] 是有理数,则 2 能整除 3 . 若 [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]是无理数,则[tex=1.429x1.429]/9IoObNMjyYNGHUA+4tngQ==[/tex] 也是无理数.而 2 不能整除 3.所以,[tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]和 [tex=1.429x1.429]/9IoObNMjyYNGHUA+4tngQ==[/tex]都是无理数.
1
设函数[tex=3.857x1.214]InKUpi6cxupw+BnDNOM0bPzGUtUpclRJyzbVU77wJf8=[/tex]在有理点上取值为无理数，在无理点上取值为有理数。证明：[tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex]不为连续函数。
2
在自然推理系统 [tex=1.214x1.214]qAleWqgMZntB9lU9kdgZKg==[/tex] 中，证明下列推理.[br][/br]每个有理数都是实数.有的有理数是整数.因此,有的实数是整数.
3
取集合[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]为实数域[tex=0.786x1.0]czmpOvTmaMgRl7StPBE3ig==[/tex]，数域为有理数域[tex=0.857x1.214]ChdusW5rAupjge6v/DGHRA==[/tex]。集合[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]的向量加法规定为实数的加法，纯量与向量的乘法规定为有理数与实数的乘法，则[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]成为有理数域[tex=0.857x1.214]ChdusW5rAupjge6v/DGHRA==[/tex]上的线性空间。证明：在线性空间[tex=0.857x1.286]ZpwhzmyivskaH5M1X7ozaQ==[/tex]中，实数1与[tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]线性无关的充分必要条件是，[tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]为无理数。
4
在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.[br][/br]人都喜欢吃蔬菜.但不是所有的人都喜欢吃鱼.所以，存在喜欢吃蔬菜而不喜欢吃鱼的人.