数理逻辑1-2章单选11-4答案

数理逻辑1-2章单选11-4答案数理逻辑1-2章单选11-4答案数理逻辑1-2章单选11-4答案xxx公司数理逻辑1-2章单选11-4答案文件编号：文件日期：修订次数：第1.0次更改批准审核制定方案设计，管理制度数理逻辑1、2章自测题-单选题Ⅰ单项选择题由n个命题变元组成不等价的命题公式的个数为()(1)2n;(2)2n;(3)n2;(4)2（2）n.答案：〔4〕设P：我将去镇上，Q：我有时间.命题“我将去镇上，仅当我有时间”符号化为()(1)PQ;(2)QP;(3)P↔Q;(4)┐P∨┐Q.答案：〔1〕设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不是负数.答案：〔4〕设P：张三可以做这件事，Q：李四可以做这件事.命题“张三或李四可以做这件事”符号化为(1)P∨Q;(2)P∨┐Q;┐P↔Q;(4)┐(┐P∨┐Q).答案：〔1〕下面语句中哪个是真命题()我正在说慌;如果1+2=3，那么雪是黑的；如果1+2=5，那么雪是黑的；严禁吸烟.答案：〔3〕下面哪个联结词运算不可交换()∧(2)；(3)∨;(4)↔答案：〔2〕命题公式(P∧(PQ))Q是()(1)矛盾式；(2)蕴含式；(3)重言式；(4)等价式.答案：〔3〕下面哪个命题公式是重言式(2)(PQ)∧(QP);(P∧Q)P;(┐P∨Q)∧()P∧┐Q);┐(P∨Q).答案：〔2〕下面哪一组命题公式是等值的(2)┐P∧┐Q，P∨Q;A(BA),┐A(A┐B);Q(P∨Q),┐Q∧(P∨Q);┐A∨(A∧B),B.答案：〔2〕PQ的逆反式是()(1)Q┐P;(2)P┐Q;(3)Q┐P;(4)┐Q┐P.答案：〔4〕┐PQ的逆反式是(3)(1)┐Q┐P;(2)P┐Q;(3)┐QP;(4)PQ.答案：〔3〕下列命题联结词集合中，哪个是极小功能联结词集合(3)(1)｛┐,↔｝;(2)｛┐,∨;∧｝;(3)｛｝;(4)｛∧,｝答案：〔3〕下列命题联结词集合中，哪个不是极小功能联结词集合(3)(1)｛┐,∧｝;(2)｛┐,｝;(3)｛┐,∧,∨｝;(4)｛｝.答案：〔3〕已知A是B的充分条件，B是C的必要条件，D是B的必要条件，问A是D的什么条件()(1)充分条件;(2)必要条件；(3)充要条件;(4)(1)(2)(3)都不对.答案：〔1〕┐PQ的反换式是(4)(1)Q┐P;(2)┐PQ;(3)┐QP;(4)P┐Q.答案：〔4〕下面哪一个命题公式是重言式()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).答案：〔3〕重言式的否定式是(2)(1)重言式;(2)矛盾式;(3)可满足式;(4)蕴含式.答案：〔2〕下面哪一个命题是假命题(1)如果2是偶数，那么一个公式的析取范式唯一；如果2是偶数，那么一个公式的析取范式不唯一；如果2是奇数，那么一个公式的析取范式唯一；如果2是奇数，那么一个公式的析取范式不唯一.答案：〔1下面哪一组命题公式不是等价的；┐(AB),A∧┐B;┐(A↔B),(A∧┐B)∨(