用消解原理证明一下推理是正确的：前提：(1) 不存在能表示为分数的无理数.(2) 有理数都可以表示为分数. 结论: (3) 有理数都不是无理数.
举一反三
- 构造下列推理的证明。设个体域为实数域。不存在能表示成分数的无理数。有理数都能表示成分数。因此，有理数都不是无理数。
- 在一阶逻辑自然推理系统N中构造下面推理的证明 . [br][/br]不存在不能表示成分数的有理数.无理数都不能表示成分数.所以,无理数都不是有理数.
- 在自然推理系统F中，构造用自然语言描述的推理的证明：实数不是有理数就是无理数，无理数都不是分数，所以，若有分数，则必有有理数(个体域为实数集合R)
- 在自然推理系统[tex=1.214x1.286]mcswBUlxPX1gwjpZuy7EDw==[/tex]中 ,构造用自然语言描述的推理的证明.实数不是有理数就是无理数.无理数都不是分数.所以.若有分数,则必有有理数(个体域为实数集[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]).
- 有理数+无理数=()A.整数B.分数C.有理数D.无理数