《精編國家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案》由會員分享，可在線閱讀，更多相關(guān)《精編國家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案（5頁珍藏版）》請在裝配圖網(wǎng)上搜索。
1、國家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案
形考任務(wù)3
單項選擇題
題目1
命題公式:尸T 『的主合取范式是().
選擇一項：
? a； rPV。/
B: (PVO)A(PV-I O)A( 1 PV-] O)
Of PVn O
D. -] Pt\Q
題目2
設(shè)P：我將去打球，Q：我有時間.命題“我將去打球，僅當(dāng)我有時間時”符號化為(). 選擇一項：
A n PV-i Q
B? Q — P
? C. P->Q/
D P_Q
題目3
命題公式 (Pt。)的主析取范式是().
選擇一項：
A. -] PVO
? B_ PA-]
c pVn o
2、
D 1 PAo
題目4
下列公式成立的為().
選擇一項：
A q P” Q<^>PvQ
B P—P—*Q
C JPnP
? D. i Pa(PvQ)今
題目5
設(shè)A (x)： x是書，B (x)： x是數(shù)學(xué)書，則命題“不是所有書都是數(shù)學(xué)書”可符號化為( ).
選擇一項：
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的有效結(jié)論是().
選擇一項：
A. Q
B. nQ
C. P
D. -] P
題目7
命題公式(
3、PVQ)-R的析取范式是().
選擇一項：
A. (PVQ) VR
B. n (PVQ) VR
C. (PAQ) VR
D. (-1 PA-i Q) VR
題目8
下列等價公式成立的為().
選擇一項：
A.
B. "v(P/\Q)oQ
C. J(PvQ)6Qa(P?，Q)
D
題目9
下列等價公式成立的為().
選擇一項：
B. PAQOPvQ
*J t Q一 P^S^P― Q
D. PvQ。。
題目10
下列公式中()為永真式.
選擇一項：
A. -] AAn B <-> -] (AAB)
B. -I AAn B ?AVB
C. n AAn
4、B — (AVB)
D. -| AAn B <-> -| AV~i B
判斷題
題目11
設(shè)個體域D={1, 2, 3}, A(x)為“x小于3”，則謂詞公式(3x)A(x)的真值為T.()
選擇一項：
對
錯
題目12
設(shè)P：小王來學(xué)校，Q：他會參加比賽.那么命題“如果小王來學(xué)校，則他會參加比賽”符號化的結(jié)果為P-Q.()
選擇一項：
對
錯
題目13
下面的推理是否正確.()
(1) (Vx)A(x) — B(x) 前提引入
(2) A(y)-B(y) US (1)
選擇一項：
對
錯
題目14
含有三個命題變項P, Q, R的命題公式PAQ的主析
5、取范式(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
設(shè)個體域D={a, b),則謂詞公式(Vx) (A(x)AB(x))消去量詞后的等值式為(A(a) AB(a)) A (A(b) AB(b)).()
選擇一項：
對
錯
題目20
設(shè)個體域D={a, b},那么謂詞公式(ax)A(x)V(Vy)B(y)消去量詞后的等值式為A(a)VB(b)?()
選擇一項：
對
錯
精編國家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案
