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