離散數(shù)學(xué)試題及答案

...wd......wd......wd...06任務(wù)_0001試卷總分：100

測(cè)試時(shí)間：0單項(xiàng)選擇題一、單項(xiàng)選擇題〔共

10

道試題.共

100

分?！?.

命題公式的析取范式是()．A.B.C.D.2.

設(shè)個(gè)體域?yàn)檎麛?shù)集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數(shù)x有整數(shù)y滿足x+y=0

B.任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0C.對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=03.

以下公式成立的為()．A.PQPQB.PQPQC.QPPD.P(PQ)Q4.

以下公式中()為永真式．A.ABABB.AB(AB)C.ABABD.AB(AB)5.

設(shè)P：我將去打球.Q：我有時(shí)間．命題“我將去打球.僅當(dāng)我有時(shí)間時(shí)〞符號(hào)化為()．A.B.C.D.6.

命題公式(PQ)R的析取范式是()A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R7.

命題公式〔PQ〕的合取范式是()．A.〔PQ〕B.〔PQ〕〔PQ〕C.〔PQ〕D.〔PQ〕8.

設(shè)命題公式G：.則使公式G取真值為1的P.Q.R賦值分別是()．A.0,0,0B.0,0,1C.0,1,0D.1,0,09.

命題公式PQ的主合取范式是(

)．A.(PQ)B.PQC.PQD.PQ10.

以下等價(jià)公式成立的為(

)．A.PPQQB.QPPQC.PQPQD.PPQ06任務(wù)_0002試卷總分：100

測(cè)試時(shí)間：0單項(xiàng)選擇題一、單項(xiàng)選擇題〔共

10

道試題.共

100

分?！?.

命題公式(PQ)Q為(

)A.矛盾式B.可滿足式C.重言式D.合取范式2.

設(shè)個(gè)體域?yàn)檎麛?shù)集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數(shù)x有整數(shù)y滿足x+y=0

B.任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0C.對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=03.

命題公式的析取范式是()．A.B.C.D.4.

以下等價(jià)公式成立的為(

)．A.PPQQB.QPPQC.PQPQD.PPQ5.

設(shè)命題公式G：.則使公式G取真值為1的P.Q.R賦值分別是()．A.0,0,0B.0,0,1C.0,1,0D.1,0,06.

在謂詞公式(x)(A(x)→B(x)C(x.y))中.〔〕．A.x.y都是約束變?cè)狟.x.y都是自由變?cè)狢.x是約束變?cè)?y都是自由變?cè)狣.x是自由變?cè)?y都是約束變?cè)?.

命題公式PQ的主合取范式是(

)．A.(PQ)B.PQC.PQD.PQ8.

設(shè)A〔x〕：x是人.B〔x〕：x是教師.則命題“有人是教師〞可符號(hào)化為〔〕．A.(x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x))D.

(x)(A(x)B(x))9.

設(shè)P：我將去打球.Q：我有時(shí)間．命題“我將去打球.僅當(dāng)我有時(shí)間時(shí)〞符號(hào)化為()．A.B.C.D.10.

命題公式(PQ)R的析取范式是()A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R06任務(wù)_0003試卷總分：100

測(cè)試時(shí)間：0單項(xiàng)選擇題一、單項(xiàng)選擇題〔共

10

道試題.共

100

分?！?.

設(shè)P：我將去打球.Q：我有時(shí)間．命題“我將去打球.僅當(dāng)我有時(shí)間時(shí)〞符號(hào)化為()．A.B.C.D.2.

以下公式成立的為()．A.PQPQB.PQPQC.QPPD.P(PQ)Q3.

以下公式()為重言式．A.PQPQB.(Q(PQ))(Q(PQ))C.(P(QP))(P(PQ))D.(P(PQ))Q4.

命題公式(PQ)R的析取范式是()A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R5.

命題公式PQ的主合取范式是(

)．A.(PQ)B.PQC.PQD.PQ6.

在謂詞公式(x)(A(x)→B(x)C(x.y))中.〔〕．A.x.y都是約束變?cè)狟.x.y都是自由變?cè)狢.x是約束變?cè)?y都是自由變?cè)狣.x是自由變?cè)?y都是約束變?cè)?.

以下公式中()為永真式．A.ABABB.AB(AB)C.ABABD.AB(AB)8.

設(shè)A〔x〕：x是書(shū).B〔x〕：x是數(shù)學(xué)書(shū).則命題“不是所有書(shū)都是數(shù)學(xué)書(shū)〞可符號(hào)化為〔〕．A.┐(x)(A(x)→B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x))D.(x)(A(x)B(x))9.

設(shè)個(gè)體域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))C.(A(a)A(b)A(c))(B(a)B(b)B(b))D.(A(a)A(b)A(c))(B(a)B(b)B(b))10.

前提條件的有效結(jié)論是()．A.PB.PC.QD.Q06任務(wù)_0004試卷總分：100

測(cè)試時(shí)間：0單項(xiàng)選擇題一、單項(xiàng)選擇題〔共

10

道試題.共

100

分?！?.

以下公式成立的為()．A.PQPQB.PQPQC.QPPD.P(PQ)Q2.

命題公式(PQ)R的析取范式是()A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R3.

設(shè)A〔x〕：x是人.B〔x〕：x是教師.則命題“有人是教師〞可符號(hào)化為〔〕．A.(x)(A(x)B(x))B.(x)(A(x)B(x))C.(x)(A(x)B(x))D.

(x)(A(x)B(x))4.

以下公式()為重言式．A.PQPQB.(Q(PQ))(Q(PQ))C.(P(QP))(P(PQ))D.(P(PQ))Q5.

表達(dá)式中的轄域是()．A.P(x,y)B.P(x,y)Q(z)C.R(x,y)D.P(x,y)R(x,y)6.

命題公式〔PQ〕的合取范式是()．A.〔PQ〕B.〔PQ〕〔PQ〕C.〔PQ〕D.〔PQ〕7.

以下等價(jià)公式成立的為(

)．A.PPQQB.QPPQC.PQPQD.PPQ8.

在謂詞公式(x)(A(x)→B(x)C(x.y))中.〔〕．A.x.y都是約束變?cè)狟.x.y都是自由變?cè)狢.x是約束變?cè)?y都是自由變?cè)狣.x是自由變?cè)?y都是約束變?cè)?.

命題公式(PQ)Q為(

)A.矛盾式B.可滿足式C.重言式D.合取范式10.

設(shè)個(gè)體域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))C.(A(a)A(b)A(c))(B(a)B(b)B(b))D.(A(a)A(b)A(c))(B(a)B(b)B(b))06任務(wù)_0005試卷總分：100

測(cè)試時(shí)間：0單項(xiàng)選擇題一、單項(xiàng)選擇題〔共

10

道試題.共

100

分?！?.

命題公式PQ的主合取范式是(

)．A.(PQ)B.PQC.PQD.PQ2.

設(shè)個(gè)體域D是整數(shù)集合.則命題"x$y(x×y=y)的真值是〔〕．A.TB.FC.不確定D.以上說(shuō)法都不是3.

命題公式的析取范式是()．A.B.C.D.4.

設(shè)P：我將去打球.Q：我有時(shí)間．命題“我將去打球.僅當(dāng)我有時(shí)間時(shí)〞符號(hào)化為()．A.B.C.D.5.

設(shè)個(gè)體域?yàn)檎麛?shù)集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數(shù)x有整數(shù)y滿足x+y=0

B.任一整數(shù)x對(duì)任意整數(shù)y滿足x+y=0C.對(duì)任一整數(shù)x存在整數(shù)y滿足x+y=0D.存在一整數(shù)x對(duì)任意整數(shù)y滿足x+y=06.

命題公式(PQ)R的析取范式是()A.(PQ)RB.(PQ)RC.(PQ)RD.(PQ)R7.

以下公式成立的為()．A.PQPQB.PQPQC.QPPD.P(PQ)Q8.

設(shè)個(gè)體域D={a,b,c}.那么謂詞公式消去量詞后的等值式為．A.(A(a)A(b)A(c))(B(a)B(b)B(