资源描述
国家开放大学电大本科离散数学网络课形考任务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” QPvQB PP*QC JPnP D. i Pa(PvQ)今题目5设A (x): x是书,B (x): x是数学书,则命题“不是所有书都是数学书”可符号化为().选择一项:A -i (3x)(.4(i)A-i 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下列等价公式成立的为().选择一项: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:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为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),(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).()选择一项:对错题目20设个体域D=a, b,那么谓词公式(ax)A(x)V(Vy)B(y)消去量词后的等值式为A(a)VB(b)()选择一项:对错
展开阅读全文