离散数学网上作业任务7附标准答案_第1页
离散数学网上作业任务7附标准答案_第2页
离散数学网上作业任务7附标准答案_第3页
离散数学网上作业任务7附标准答案_第4页
离散数学网上作业任务7附标准答案_第5页
全文预览已结束

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

9.1.)A.目以口工）aG（jO）B.C.D.-ag（恥一g（q2.F列等价公式成立的为（)A.iPaPOiQaQB.QtPoPtQC.PaQPvQD.iPvPoQ3.设命题公式G：匚一匸三汀，则使公式G取真值为1的P,Q,R赋值分别A.B.C.是（）0,0,00,0,10,1,01,0,04.下列公式中（）为永真式.a?-aBvBD.离散数学网上作业06任务_0037答案B.aB(AvB)C.-a-iBAvBD.aiBi(AaB)5.谓词公式-是（）.设C（x）：x是国家级运动员，G（x）：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为（A.不可满足的B.可满足的C.有效的D.蕴含式6.命题公式（PvQ）tQ为（A.矛盾式B.可满足式C.重言式7.D.合取范式命题公式（PvQ）的合取范式是（)A.(PaQ)B.(PaQ)v(PvQ)C.(PvQ)D.（PaQ）设A（x）：x是人，B（x）：x是学生，则命题“不是所有人都是学生”可符号化为（）D.A.(x)(A(x)aB(x)B.:.(Vx)(A(x)tB(x)-（-x）（A（x）aB（x）前提条件PQP的有效结论是（）.A.B.PC.Q）10.下列等价公式成立的为(A.b.Pt(QtP)oPt

人人文库> 全部分类> 图纸下载 > 毕业设计

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论