lsxxiti答案【DOC精选】.doc

将下列命题的真值写在括号内。 1：( 1 )若地球上没有水，则是无理数。 2：（0 ）3x+5y=0是一个命题。 3：（1 ） “十减四等于五”是一个原子命题。 4：（0 ）＂王兰和王英是姐妹。＂是复合命题。 5：（0 ）联结词＂＂满足交换率。 6：（ 0）公式中，变元x是约束变元。 7：（1 ）谓词公式是矛盾式。 8：（ 1）是命题公式，P, Q，R是命题变元。 9：（0）任一命题公式都可以表示成与其等值的若干小项的析取式。 10：（1 ）同一谓词公式，指定不同的论域，其真值不一定相同。 11：（ 0）公式中，的作用域为P(x)。 12：（0 ）王洪与高峰是同学。是复合命题。 13：（1 ）。 14：（0 ）下面推理：条件：，根据全称指定（US）有：是正确的。 15：（0 ）在谓词公式中，一个个体变元只能是自由变元或约束变元中的一种。 选择填空： １：命题公式是（　B　）。 　Ａ. 矛盾式 B. 重言式 C. 蕴含式 D. 等价式 2：设个体域A={a,b},公式在A中消去量词后为（ B ） A. B. C. D. 3：的逆否命题是（C ）。 A. B. C. D. 4：在谓词演算中，是的有效结论，其推理规则是（A ）。 A. 全称指定（US） B. 全称推广（UG） C.存在指定（ES） D. 存在推广(EG) 5：下列各式哪个不正确（A ） A. B. C. D. 6：下列各组公式中，那组是互为对偶式。（A ） A. P, P B. P, P C. A, (A*)* D. A, A （其中P为命题变元，A为带有联结词的命题公式） 7：下列语句中哪个是真命题（ D ） A.我正在说谎。 B. 如果 1+2=3，那么雪是黑的。 C. 严禁吸烟。 D. 如果 1+2=5，那么雪是黑的。 8：由n个命题变元组成不等值的命题公式的个数为（D ） A. 2n B. 2n C．n2 D．(22)n 9：重言式的否定式是（c ） A．重言式 B. 矛盾式 C. 可满足的 D. 蕴含式 10：命题公式的主析取范式中含小项的个数为（C ） A．8 B．3 C．5 D．0 11：命题公式的主合取范式中含大项的个数为（B ） A．8 B．3 C．5 D．0 12：使命题公式的真值为真的真值指派为（B ） A．000，001，110 B．001，011，101，110，111 C．全体赋值 D．无 13.全称量词引入规则是（ B ） A. B. C. D. 14. 公式的主合取范式为（A ）。 A. B. C. D. 15. 公式的成真赋值为001,010,其主析取范式是（D ）。 A． B. C. D. 三、用推理规则证明： 四、用推理规则证明： 五、试找出下列推理过程中的错误。 ① P ② US ③ P ④ ES ⑤ T ②④ ⑥ EG 六、证明： 七、 如果论域是集合{a,b,c},试消去公式的量词。 八、求公式的主析取范式和主合取范式。