- 1、本文档共2页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
零号电大
题目顺序是随机的,使用查找功能(Ctrl+F)进行搜索零号电大
选择题
题目:设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为( ).
答案:P→Q
题目:设命题公式G:G: ┐p→(Q∧R),则使公式G取真值为1的P,Q,R赋值分别是 ( ).
答案:1, 0, 0
题目:命题公式 (P∨Q)→R的析取范式是 ( ).
答案:(┐P∧┐Q)∨R
题目:命题公式 (P∨Q) 的合取范式是 ( ) .
答案:(P∨Q)
题目:命题公式┐(p→Q)的主析取范式是( ).
答案:P∧┐Q
题目:命题公式P→Q的主合取范式是( ).
答案:┐P∨Q
题目:下列等价公式成立的为( ).
答案:P→(┐Q→P) <=>┐P→(P→Q)
题目:下列等价公式成立的为( ).
答案:┐P∧P<=>┐Q∧Q
题目:下列公式成立的为( ).
答案:┐P∧(P∨Q) =>Q
题目:下列公式中 ( )为永真式.
答案:┐A∧┐B ? ┐(A∨B)
题目:下列公式 ( )为重言式.
答案:Q→(P∨(P∧Q))?Q →P
题目:命题公式(P∨Q) →Q为( )
答案:可满足式
题目:设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可符号化为( ).
答案:
题目:设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为( ).
答案:
题目:设个体域为整数集,则公式的解释可为( ).
答案:对任一整数x存在整数y满足x+y=0
题目:表达式中的辖域是( ).
答案:
题目:谓词公式(?x)(A(x)→B(x)∨C(x,y))中的( )。
答案:x是约束变元,y都是自由变元
题目:设个体域D={a, b, c},那么谓词公式消去量词后的等值式为( ).
答案:
题目:设个体域D是整数集合,则命题的真值是( ).
答案:T
题目:前提条件P→┐Q2P的有效结论是( ).
答案:┐Q
判断题
题目:设P:小王来学校, Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P→Q.( )
答案:对
题目:设P:昨天下雨,Q:今天下雨.那么命题“昨天下雨,今天仍然下雨”符号化的结果为P∧Q.( )
答案:对
题目:设P:我们下午2点去礼堂看电影,Q:我们下午2点去教室看书.那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q.( )
答案:错
题目:设P:他生病了,Q:他出差了,R:我同意他不参加学习.那么命题“如果他生病或出差了,我就同意他不参加学习”符号化的结果为(P∨Q)→┐R.( )
答案:错
题目:命题公式P→(Q∨P)的真值是T.( )
答案:对
题目:命题公式┐P∧P的真值是T.( )
答案:错
题目:命题公式┐P∧(P∨Q)=>Q成立. ( )
答案:对
题目:命题公式┐P∧(P→┐Q)∨P为永真式.( )
答案:对
题目:命题公式┐(P→Q)的主析取范式是P∨┐Q.( )
答案:错
题目:含有三个命题变项P,Q,R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R).( )
答案:对
题目:设P(x):x是人,Q(x):x去上课,那么命题“有人去上课.”为(?x)(P(x)→Q(x)).( )
答案:错
题目:设P(x):x是人,Q(x):x学习努力,那么命题“所有的人都学习努力.”为(?x)(P(x)∧Q(x)).( )
答案:错
题目:设个体域D={1, 2, 3},A(x)为“x小于3”,则谓词公式(?x)A(x) 的真值为T.( )
答案:对
题目:设个体域D={1,2, 3, 4},A(x)为“x大于5”,则谓词公式(?x)A(x)的真值为T.( )
答案:错
题目:谓词公式┐(?x)P(x)(?x)┐P(x)成立.( )
答案:对
题目:谓词命题公式(?x)((A(x)∧B(x))∨C(y))中的自由变元为x.( )
答案:错
题目:谓词命题公式(?x)(P(x)→Q(x)∨R(x,y))中的约束变元为x.( )
答案:对
题目:设个体域D={a, b},那么谓词公式(?x)A(x)∨(?y)B(y)消去量词后的等值式为A(a)∨B(b).( )
答案:错
题目:设个体域D={a, b},则谓词公式(?x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b)).( )
答案:对
题目:下面的推理是否正确.(
您可能关注的文档
- 形考任务1答案.doc
- 离散数学形考1.doc
- 2024年山东德州陵城区第二批硕士研究生及以上优秀教育人才引进26人高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东日照市住房公积金管理中心招考高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东济南市槐荫区教育和体育局所属学校(幼儿园)招聘260人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东德州禹城市事业单位引进优秀青年人才63人高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东威海市文登区区属事业单位初级综合类岗位招聘118人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东枣庄市市中区青年人才优选80人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东济南市市中区教育体育系统招聘工作人员370人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东临沂市直教育系统及历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东德州夏津县融媒体中心招聘4人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东济南历城区卫生健康局所属事业单位招聘50人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024江苏徐州锡沂高新技术产业开发区招聘50人历年高频难、易点(行政职业能力测验共200题含答案解.docx
- 2024年山东德州职业技术学院招聘49人历年高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2024年山东德州高级师范学校招聘工作人员12人高频考题难、易错点模拟试题(共500题)附带答案详解.docx
- 2023年12月恩施巴东县“才聚荆楚·智汇恩施”第二次专项事业单位工作人员7名笔试近6年高频考题难、易错点荟萃答案带详解附后.docx
- 2023年12月广东广州市黄埔区机关事务管理局招考聘用政府雇员笔试近6年高频考题难、易错点荟萃答案带详解附后.docx
- 2023年12月广西马山县纪委监委机关面向社会公开招考基层廉洁监督员及防贫监测员笔试近6年高频考题难、易错点荟萃答案带详解附后.docx
- 2023年12月广东广州市增城区招考聘用教师(上海设点)92人笔试近6年高频考题难、易错点荟萃答案带详解附后.docx
- 2023年12月广东省茂名市电白区赴高校现场公开招聘62名教师314笔试近6年高频考题难、易错点荟萃答案带详解附后.docx
文档评论(0)