《離散數(shù)學(xué)》任務(wù)3(數(shù)理邏輯部分概念與性質(zhì))選擇題判斷題

第三部分?jǐn)?shù)理邏輯選擇題判斷題注意：選項ABCD順序會出現(xiàn)變動！根據(jù)選項確定答案！()．A.B.C.D.1()．A.B.C.D.2.設(shè)命題公式G：G1賦值分別是(1,0,0)2.設(shè)命題公式G：G1賦值分別是(1,0,0)D.1,0,0下列公式中(AB(AB) )為永真式A.ABAB B.AB(AB)C.ABAB D.AB(AB)(P(Q(P(QP))(P(PQ))C.(P(QP))(P(PQ))A.PQPQ B.C.(P(QP))(P(PQ))D.(P(PQ))QPPPPQQA.PPQQB.QPPQ C.PQPQ A.PPQQP(P(QP)P(PQ))B.P(QP)P(PQ)PQPQC.Q(PQ)Q(PQ) D.P(PQ)QP(P(PQ)Q8.命題公式的析取范式是()．A.B.C.D.A.PQPQ B.PQPQ C.P D.P8.命題公式的析取范式是()．A.B.C.D.9. (PQ)R的析取范式是( (PQ)R)A.(PQ)R B.(PQ)RC.(PQ)RD.(PQ)R（PQ）)．C.（P（PQ）)．C.（PQ）A.（PQ） B.（PQ）（PQ）

D.（PQ）11.PQ的主合取范式是(PQ)．A.(PQ)PQPQ）B.PQC.PQD.PQ命題公(PQ)Q為( 可滿足式)A.矛盾式 B.可滿足式 C.重言式D.合取范式x是約束變元，y都是自由變元13. 在謂詞公x是約束變元，y都是自由變元C.x是約束變元，y都是自由變元A.x，y都是約束變元 B.xC.x是約束變元，y都是自由變元D.x是自由變元，y都是約束變元14.表達(dá)式中的轄域是(P(x,y)Q(z14.表達(dá)式中的轄域是P(x,y) B.P(x,y)Q(z) C.R(x,y) D.P(x,y)R(x,y)（( x)(A(x)B(x))）（( x)(A(x)B(x))）A.( x)(A(x)B(x))B.(A.( x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x)) D.( x)(A(x)B(x))((x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( C.(x)(A(x)B(x))D.( x)(A(x)B(x))健壯的”可符號化為()．A.B.C.D.18.D={a,b,c}，那么謂詞公式消去量詞后的等值式為（(A(a)A(b)A(c))(B(a)C.D.18.D={a,b,c}，那么謂詞公式消去量詞后的等值式為A.(A(a)A(b)A(c))(B(a)B(b)B(b)) B.(A(a)A(b)A(c))(B(a)B(b)B(b))謂詞公式 是（不可滿足的）A.不可滿足的B.可滿足的C.有效的D.蘊(yùn)含式20、前提條件A.P B.P的有效結(jié)論( QC.Q D.Q)．C.(A(a)A(b)A(c))(B(a)B(b)B(b)) 謂詞公式 是（不可滿足的）A.不可滿足的B.可滿足的C.有效的D.蘊(yùn)含式20、前提條件A.P B.P的有效結(jié)論( QC.Q D.Q)．設(shè)A（x）：x是人，B（x）：x是教師，則命題“有人是教師”可符號化為(ョ(ョx)(A(x)∧B(x))D.(ョx)(A(x)∧B(x))A.?(ョx)(A(x)∧?B(x)) C.?(D.(ョx)(A(x)∧B(x))TA.T設(shè)個體域D是整數(shù)集合，則命ョy(x?y=的真值是（ ）．TA.TB.F C.不確定 D.以上說法都不是(對任一整數(shù)x存在整數(shù)y滿足?x(對任一整數(shù)x存在整數(shù)y滿足x+y=0)x+y=0)．A.對任一整數(shù)x存在整數(shù)y滿足x+y=0存在一整數(shù)x有整數(shù)yx+y=0存在一整數(shù)x對任意整數(shù)yx+y=0任一整數(shù)x對任意整數(shù)yx+y=0設(shè)是數(shù)學(xué)書，則命題“不是所有書都是數(shù)學(xué)書”可符號化(x(x)(A(x)B(x))A.( x)(A(x)B(x))B.( x)(A(x)B(x))C.(x)(A(x)B(x))D.( x)(A(x)B(x))二、判斷題二、判斷題Q成立( 對)設(shè)個體域D＝{1,2,3,為“x大于5”，則謂詞公(?x)A(x)的真值為T．( 錯( 對)( 對)設(shè)PP∧( 對)含有三個命題變項P，Q，R的命題公式P∧Q(P∧Q∧R)∨(P∧Q∧┐R)( 對)( 對)( 對)( 對)設(shè)是人去上課那么命“有人去上課為錯)下面的推理是否正確．( 錯)(?x)A(x)→( 錯)(2)US(1)設(shè)個體域D＝{1,2,3}，A(x)為“x小于3”，則謂詞公(?x)A(x)的真值為T．( 對)設(shè)個體域D＝{a,(?x)A(x)∨(?y)B(y)消去量詞后的等值式為A(a)∨B(b)．( ( 錯)( 錯) P222點(diǎn)或者去禮堂看電影或者去教室看書”符號化的結(jié)果為P∨( 錯)( 對)(?x)(P(x)→Q(x)∨R(x，y))中的約束變元為( 對)( 對)設(shè)個體域D＝{a,b}(?x)(A(x)∧B(x))(A(a)∧B(a))∧(A(b)∧( 對)( 錯)(?x)((A(x)∧B(x))∨C(y))中的自由變元為( 錯)( 錯)設(shè)P(x)：x是人，Q(x)：x((