《精編國(guó)家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案》由會(huì)員分享，可在線閱讀，更多相關(guān)《精編國(guó)家開放大學(xué)電大本科《離散數(shù)學(xué)》網(wǎng)絡(luò)課形考任務(wù)3作業(yè)及答案（5頁珍藏版）》請(qǐng)?jiān)谘b配圖網(wǎng)上搜索。

1、國(guó)家開放大學(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ò)