国家开放大学电大本科《离散数学》网络课形考任务3作业及答案屐任务3g选择题题目1命题公式T的主合取范式是().选择一项：• A. 1 PVO^B. (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. P—>i Qi P—>QC. Q—PnP 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前提条件FT"1 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. iQtFQP—Q下列公式中()为永真式.选择一项：A. -J AAn B — (AAB)B. -i AA-i B —AVBC. -i AAn B 一 (AVB)D. n AA~i 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 (P~Q)的主析取范式是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).()选择一项：对错。
