《精編國家開放大學電大本科《離散數學》網絡課形考任務3作業(yè)及答案》由會員分享,可在線閱讀,更多相關《精編國家開放大學電大本科《離散數學》網絡課形考任務3作業(yè)及答案(5頁珍藏版)》請在裝配圖網上搜索。
1、國家開放大學電大本科離散數學網絡課形考任務3作業(yè)及答案形考任務3單項選擇題題目1命題公式:尸T 的主合取范式是().選擇一項: a; rPV。/B: (PVO)A(PV-I O)A( 1 PV- O)Of PVn OD. - PtQ題目2設P:我將去打球,Q:我有時間.命題“我將去打球,僅當我有時間時”符號化為(). 選擇一項:A n PV-i QB Q P C. P-Q/D P_Q題目3命題公式 (Pt。)的主析取范式是().選擇一項:A. - PVO B_ PA-c pVn oD 1 PAo題目4下列公式成立的為().選擇一項:A q P” QPvQB PP*QC JPnP D. i Pa
2、(PvQ)今題目5設A (x): x是書,B (x): x是數學書,則命題“不是所有書都是數學書”可符號化為().選擇一項: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的有效結論是().選擇一項:A. QB. nQC. PD. - P題目7命題公式(PVQ)-R的析取范式是().選擇一項:A. (PVQ) VRB. n (PVQ) VRC. (PAQ) VRD. (-1 PA-i Q) VR題目8下列等價公式成立的為().選擇一項:A.B. v(P/Q)oQC. J(PvQ)6Qa
3、(P,Q)D題目9下列等價公式成立的為().選擇一項:B. PAQOPvQ*J t Q一 PSP QD. PvQ。題目10下列公式中()為永真式.選擇一項:A. - AAn B - (AAB)B. -I AAn B AVBC. n AAn B (AVB)D. -| AAn B -| AVi B判斷題題目11設個體域D=1, 2, 3, A(x)為“x小于3”,則謂詞公式(3x)A(x)的真值為T.()選擇一項:對錯題目12設P:小王來學校,Q:他會參加比賽.那么命題“如果小王來學校,則他會參加比賽”符號化的結果為P-Q.()選擇一項:對錯題目13下面的推理是否正確.()(1) (Vx)A(x)
4、 B(x)前提引入(2) A(y)-B(y)US (1)選擇一項:對錯題目14含有三個命題變項P, Q, R的命題公式PAQ的主析取范式(PAQAR) V (PAQA-j R).()選擇一項:對錯題目15命題公式P (QVP)的真值是T.()選擇一項:對錯題目16命題公式nPAP的真值是T.()選擇一項:對錯題目17謂詞公式-I (Vx)P(x),(3x)-IP(x)成立()選擇一項:對錯題目18命題公式 (P-Q)的主析取范式是PVn Q.()選擇一項:對錯題目19設個體域D=a, b),則謂詞公式(Vx) (A(x)AB(x)消去量詞后的等值式為(A(a) AB(a) A (A(b) AB(b).()選擇一項:對錯題目20設個體域D=a, b,那么謂詞公式(ax)A(x)V(Vy)B(y)消去量詞后的等值式為A(a)VB(b)()選擇一項:對錯