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

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

ID:56707944

大小:117.50 KB

页数:3页

时间:2020-07-05

数理逻辑1-2章单选11-4答案.doc_第1页
数理逻辑1-2章单选11-4答案.doc_第2页
数理逻辑1-2章单选11-4答案.doc_第3页
资源描述:

《数理逻辑1-2章单选11-4答案.doc》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库

1、数理逻辑1、2章自测题-单选题Ⅰ单项选择题1由n个命题变元组成不等价的命题公式的个数为()(1)2n;(2)2n;(3)n2;(4)2(2)n.答案:〔4〕2设P:我将去镇上,Q:我有时间.命题“我将去镇上,仅当我有时间”符号化为()(1)PQ;(2)QP;(3)P↔Q;(4)┐P∨┐Q.答案:〔1〕3设P:我们划船,Q:我们跑步.命题“我们不能既划船又跑步”符号化为()(1)┐P∧┐Q;(2)┐P∨┐Q;(3)┐(P↔Q);(4)P↔┐Q.答案:〔2〕4下面哪一个命题是命题“2是偶数或-3是负数”的否定()(1)2是偶数或-3不是负数;(2)2是奇数或-3不是负数;(3)

2、2不是偶数且-3不是负数;(4)2是奇数且-3不是负数.答案:〔4〕5设P:张三可以做这件事,Q:李四可以做这件事.命题“张三或李四可以做这件事”符号化为(1)(1)P∨Q;(2)P∨┐Q;(2)┐P↔Q;(4)┐(┐P∨┐Q).答案:〔1〕6下面语句中哪个是真命题()(1)我正在说慌;(2)如果1+2=3,那么雪是黑的;(3)如果1+2=5,那么雪是黑的;(4)严禁吸烟.答案:〔3〕7下面哪个联结词运算不可交换()(1)∧(2);(3)∨;(4)↔答案:〔2〕8命题公式(P∧(PQ))Q是()(1)矛盾式;(2)蕴含式;(3)重言式;(4)等价式.答案:〔3〕9下面哪个命

3、题公式是重言式(2)(1)(PQ)∧(QP);(2)(P∧Q)P;(3)(┐P∨Q)∧()P∧┐Q);(4)┐(P∨Q).答案:〔2〕1下面哪一组命题公式是等值的(2)(1)┐P∧┐Q,P∨Q;(2)A(BA),┐A(A┐B);(3)Q(P∨Q),┐Q∧(P∨Q);(4)┐A∨(A∧B),B.答案:〔2〕2PQ的逆反式是()(1)Q┐P;(2)P┐Q;(3)Q┐P;(4)┐Q┐P.答案:〔4〕3┐PQ的逆反式是(3)(1)┐Q┐P;(2)P┐Q;(3)┐QP;(4)PQ.答案:〔3〕4下列命题联结词集合中,哪个是极小功能联结词集合(3)(1){┐,↔};(2){┐,∨;∧}

4、;(3){};(4){∧,}答案:〔3〕5下列命题联结词集合中,哪个不是极小功能联结词集合(3)(1){┐,∧};(2){┐,};(3){┐,∧,∨};(4){}.答案:〔3〕6已知A是B的充分条件,B是C的必要条件,D是B的必要条件,问A是D的什么条件()(1)充分条件;(2)必要条件;(3)充要条件;(4)(1)(2)(3)都不对.答案:〔1〕7┐PQ的反换式是(4)(1)Q┐P;(2)┐PQ;(3)┐QP;(4)P┐Q.答案:〔4〕8下面哪一个命题公式是重言式()(1)P(Q∨R);(2)(P∨R)∧(PQ);(3)(P∨Q)(Q∨R);(4)((P(QR))((PQ

5、)(PR)).答案:〔〕9下面哪一个命题公式不是重言式()(1)Q(P∨Q);(2)(P∧R)P;(3)┐(┐P∧Q)∧(┐P∨Q);(1)(PQ)↔(┐P∨Q).答案:〔3〕2重言式的否定式是(2)(1)重言式;(2)矛盾式;(3)可满足式;(4)蕴含式.答案:〔2〕3下面哪一个命题是假命题(1)(1)如果2是偶数,那么一个公式的析取范式唯一;(2)如果2是偶数,那么一个公式的析取范式不唯一;(3)如果2是奇数,那么一个公式的析取范式唯一;(4)如果2是奇数,那么一个公式的析取范式不唯一.答案:〔14下面哪一组命题公式不是等价的;(1)┐(AB),A∧┐B;(2)┐(A↔

6、B),(A∧┐B)∨(┐A∧B);(3)A(B∨C),┐A∧(B∨C);(4)A(B∨C),(A∧┐B)C.答案:〔35合式公式P(QP)是(2)(1)重言式;(2)可满足式;(3)矛盾式;(4)等价式答案:〔2

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。