国家开放大学电大本科《离散数学》网络课形
考任务3作业及答案
屐任务3 g选择题 题目1 命题公式T。 的主合取范式是()、 选择一项： ? A、1 PVO^ B、 (PVp)A(PVn p)A(i O D n p/\\O 题目2 设P：我将去打球，Q：我有时间、命题“我将去打球，仅当我有时间时”符号化为()、 选择一项： A、1 PV-1 Q B、 0 — P ? C Pt* D、 P — Q 题目3 命题公式 ~ 的主析取范式是()、 选择一项： A、 n PVO B pAq C、 PV-i O Di 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、 Q B、i P 题目7 命题公式(PVQ)-R的析取范式是()、 选择一项： A、 (PVQ)VR B、1 PAn Q)
VR 题目8 下列等价公式成立的为()、 选择一项： B、 “v(PaQ)OQ C、 Qt(PvQ)5Q 人(PvQ)
D、 i P人i 题目9 下列等价公式成立的为()、 选择一项： A、“八 B、 C、 iQtFQP—Q 下列公式中()为永真式、 选择一项： A、i AA-i B —AVB C、B(x)前提引入 ⑵ A(y)-B(y)US (1)
第 1 页 共 2 页
选择一项： 对 错 题目14 含有三个命题变项P，Q，R的命题公式PAQ的主析取范式(PAQAR)V(PAQAnR)、()
选择一项： 对 错 题目15 命题公式P-(QVP)的真值是T、() 选择一项： 对 题目16 命题公式“iPAP的真值是T、() 选择一项： 对 错 题目17 谓词公式1 (Vx)P(x)U?Gx)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)、()
选择一项： 对 错
第 2 页 共 2 页
国家开放大学电大本科《离散数学》网络课形考任务3作业及答案
