数理逻辑1–2章自测题14–4–22.docVIP

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