国家开放大学电大本科《离散数学》网络课形考任务3作业及答案_第1页
国家开放大学电大本科《离散数学》网络课形考任务3作业及答案_第2页
国家开放大学电大本科《离散数学》网络课形考任务3作业及答案_第3页
免费预览已结束,剩余1页可下载查看

下载本文档

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

文档简介

1、国家开放大学电大本科离散数学网络课形考任务3作业及答案形考任务3单项选择题题目1命题公式:尸T °的主合取范式是().选择一项: a; rPV。/B: (PVO)A(PV-I O)A( 1 PV- O)Of PVn OD. - PtQ题目2设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().选择一项:A n PV-i QB Q P C. P->Q/D P_Q题目3命题公式° (Pt。)的主析取范式是().选择一项:A. - PVO B_ PA-c pVn oD 1 PAo题目4下列公式成立的为().选择一项:A q P” Q<>

2、PvQB PP*QC JPnP D. i Pa(PvQ)今题目5设A (x): x是书,B (x): x是数学书,则命题“不是所有书都是数学书”可符号化为().选择一项:A -i (2x)G4(i)An B(x)B (VrW)AB(x)C -| (3x)(.4(x)AB(.i»* D r (Vx)(x)f题目6前提条件"F。P的有效结论是().选择一项:A. QB. nQC. PD. - P题目7命题公式(PVQ)-R的析取范式是().选择一项:A. (PVQ) VRB. n (PVQ) VRC. (PAQ) VRD. (-1 PA-i Q) VR题目8下列等价公式成立的为

3、().选择一项:A.B. "v(P/Q)oQC. J(PvQ)6Qa(P,Q)D题目9下列等价公式成立的为().选择一项:B. PAQOPvQ*J t Q一 PSP QD. PvQ。题目10下列公式中()为永真式.选择一项:A. - AAn B <-> - (AAB)B. -I AAn B AVBC. n AAn B (AVB)D. -| AAn B <-> -| AVi B判断题题目11设个体域D=1, 2, 3, A(x)为“x小于3”,则谓词公式(3x)A(x)的真值为T.()选择一项:对错题目12设P:小王来学校,Q:他会参加比赛.那么命题“如果小王来

4、学校,则他会参加比赛”符号化的结果为P-Q.()选择一项:对错题目13下面的推理是否正确.()(1) (Vx)A(x) B(x)前提引入(2) A(y)-B(y)US (1)选择一项:对错 题目14含有三个命题变项P, Q, R的命题公式PAQ的主析取范式(PAQAR) V (PAQA-j R).()选择一项:对错题目15命题公式P (QVP)的真值是T.()选择一项:对错题目16命题公式nPAP的真值是T.()选择一项:对错题目17谓词公式-I (Vx)P(x)<:r>,(3x)-IP(x)成立()选择一项:对错题目18命题公式° (P-Q)的主析取范式是PVn Q.()选择一项:对错题目19设个体域D=a, b),则谓词公式(Vx) (A(x)AB(x)消去量词后的等值式为(A(a) AB(a) A (A(b) AB(b).()选择一项:

温馨提示

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

评论

0/150

提交评论