数理逻辑1-2章自测题13-4-30new.docVIP

数理逻辑（1-2章）复习自测题13-4-30 学号 诚信分数 自测题 Ⅰ 单项选择题 （22分） 由n个命题变元组成不等价的命题公式的个数为( ) (1)2n; (2)2n; (3)n2; (4)2 （2） n. 答案：〔2〕 设P：我将去镇上，Q：我有时间.命题“我将去镇上，仅当我有时间”符号化为( ) (1)PQ; (2) QP; (3)P ? Q; (4) ┐P∨┐Q. 答案：〔2 〕 设P:我们划船,Q:我们跑步.命题“我们不能既划船又跑步”符号化为( ) (1) ┐P∧┐Q; (2) ┐P∨┐Q； (3) ┐(P ? Q); (4) P ? ┐Q. 答案：〔2 〕 下面哪一个命题是命题“2是偶数或-3是负数”的否定( ) 2是偶数或-3不是负数; 2是奇数或-3不是负数; 2不是偶数且-3不是负数; 2是奇数且-3不是负数. 答案：〔 3〕 设P：张三可以做这件事，Q：李四可以做这件事.命题“张三或李四可以做这件事”符号化为( ) P∨Q; (2)P∨┐Q; ┐P ? Q; (4)┐(┐P∨┐Q). 答案：〔 1 〕 下面语句中哪个是真命题( ) 我正在说慌; 如果1+2=3，那么雪是黑的； 如果1+2=5，那么雪是黑的； 严禁吸烟. 答案：〔3 〕 下面哪个联结词运算不可交换( ) ∧ (2)； (3)∨; (4) ? 答案：〔4 〕 命题公式(P∧(PQ)) Q是( ) (1)矛盾式； (2)蕴含式； (3)重言式； (4)等价式. 答案：〔3 〕 下面哪个命题公式是重言式( ) (PQ)∧(QP); (P∧Q)P; (┐P∨Q)∧()P∧┐Q); ┐(P∨Q). 答案：〔2 〕 下面哪一组命题公式是等值 的( ) ┐P∧┐Q， P∨Q; A(BA), ┐A (A┐B); Q(P∨Q), ┐Q∧(P∨Q); ┐A∨(A∧B), B. 答案：〔 〕 PQ的逆反式是( ) (1) Q┐P; (2) P┐Q; (3) Q┐P; (4) ┐Q┐P. 答案：〔 2 〕 ┐PQ的逆反式是( ) (1) ┐Q┐P; (2) P┐Q; (3) ┐QP; (4) PQ. 答案：〔3 〕 下列命题联结词集合中，哪个是极小功能联结词集合( ) (1)｛,? ｝; (2)｛,∨;∧｝; (3)｛｝; (4)｛,｝ 下列命题联结词集合中，哪个不是极小功能联结词集合( ) (1)｛,∧｝; (2)｛, ｝; (3)｛,∧,∨｝; (4)｛｝. 已知A是B的充分条件，B是C的必要条件，D是B的必要条件，问A是 D的什么条件( ) (1)充分条件; (2)必要条件；(3)充要条件; (4)(1)(2)(3)都不对. 答案：〔 1 〕 ┐P Q的反换式是( ) (1) Q┐P; (2) ┐P Q; (3) ┐QP; (4) P┐Q. 答案：〔 1 〕 下面哪一个命题公式是重言式( ) P(Q∨R); (P∨R)∧(PQ); (P∨Q)(Q∨R); （(P(QR))((PQ) (PR)). 答案：〔 〕 下面哪一个命题公式不是重言式( ) Q(P∨Q); (P∧R)P; ┐(┐P∧Q)∧(┐P∨Q); (PQ)? ( ┐P∨Q). 答案：〔 〕 重言式的否定式是( ) (1)重言式; (2)矛盾式; (3)可满足式; (4)蕴含式. 答案：〔2〕 下面哪一个命题是假命