资源描述
国家开放大学电大本科离散数学网络课形考任务3作业及答案屐任务3g选择题题目1命题公式T。的主合取范式是().选择一项: A. 1 PVOB. (PVp)A(PVn p)A( -i PVi O)C PV-i OD n p/O题目2设P:我将去打球,Q:我有时间.命题“我将去打球,仅当我有时间时”符号化为().选择一项:A. 1 PV-1 QB. 0 P C Pt*D. P Q题目3命题公式 的主析取范式是().选择一项:A. n PVOB pAqC. PV-i OD -i P/O题目4下列公式成立的为().选择一项:A. 1 Pa QPvQB. Pi Qi PQC. QPnP D.iPa(PvQ)题目5设A (x) : x是书,B (x) : x是数学书,则命题“不是所有书都是数学书”可符号化为().选择一项:A i (3.v)(.4(x)A-i B(x)B (Vx)(.4(x)AB(x)C n (3xX.4(.v)A5(x)D i (Vx)(“Dz题目6前提条件FT1 Q,P的有效结论是().选择一项:A. QB. -iQC. PD. -i P题目7命题公式(PVQ)-R的析取范式是().选择一项:A. (PVQ)VRB. -I (PVQ)VRC. (PAQ)VRD. (-1 PAn Q) VR题目8下列等价公式成立的为().选择一项:B. v(PaQ)OQC. Qt(PvQ)5Q 人(PvQ)D. i P人i题目9下列等价公式成立的为().选择一项:A.八B.C. iQtFQPQ下列公式中()为永真式.选择一项:A. -J AAn B (AAB)B. -i AA-i B AVBC. -i AAn B 一 (AVB)D. n AAi B *1 AVn B判断题题目11设个体域D=1, 2, 3, A(x)为“x小于3”,则谓词公式Ox)A(x)的真值为T.()选择一项:对错题目12设P:小王来学校,Q:他会参加比赛.那么命题“如果小王来学校,则他会参加比赛”符号化的结果为P*Q.() 选择一项:对错题目13下面的推理是否正确.()(1) (Vx)AG)-B(x)前提引入 A(y)-B(y)US (1)选择一项:对错题目14含有三个命题变项P,Q,R的命题公式PAQ的主析取范式(PAQAR)V(PAQAnR).()选择一项:对错题目15命题公式P-(QVP)的真值是T.()选择一项:对题目16命题公式iPAP的真值是T.()选择一项:对错题目17谓词公式 1 (Vx)P(x)UGx)iP(x)成立.()选择一项:对错题目18命题公式1 (PQ)的主析取范式是PV-iQ.()选择一项:对错题目19设个体域D=a, b,则谓词公式(Vx) (A(x)AB(x)消去量词后的等值式为(A(a)/B(a)/(A(b)/B(b).()选择一项:对错题目20设个体域D=a, b,那么谓词公式Ox)A(x)V(Vy)B(y)消去量词后的等值式为A(a)VB(b).()选择一项:对错
展开阅读全文