符号化下列命题并推证其结论： 所有有理数都是实数，某些有理数是整数，因此某些实数是整数
P(x): x是有理数；F(x): x是实数；S(x): x是整数； 前提：∀x(P(x)→F(x))，∃x(P(x)∧S(x)) 结论：∃x(F(x)∧S(x)) ①∃x(P(x)∧S(x)) 前提 ②P(c)∧S(c) ①，Es规则 ③P(c) ②，简化I ④S(c) ②，简化I ⑤∀x(P(x)→F(x)) 前提 ⑥P(c)→F(c) ⑤，Us规则 ⑦F(c) ③⑥，假言推理I ⑧F(c)∧S(c) ⑦④，合取I ⑨∃x(F(x)∧S(x)) ⑧，Eg规则
举一反三
内容
- 0
所有的有理数都是实数；所有的无理数也是实数；虚数不是实数。因此，虚数既不是有理数也不是无理数．(1)将上述命题符号化。(2)用演绎法证明其结论是否正确。
- 1
用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明...说同一个体变元存在指定一定要先于全称指定
- 2
最小的数域是（ ） A: 整数 B: 有理数 C: 实数 D: 复数
- 3
用谓词表达式写出下列命题。f) 某些实数是有理数。
- 4
将下列推理符号化，并判断推理是否正确.若一个数为整数，则它为有理数；若一个数为有理数，则它为实数；有一个数为整数，所以它为实数.