...wd......wd......wd...06任務_0001試卷總分：100

測試時間：0單項選擇題一、單項選擇題〔共

10

道試題.共

100

分?！?.

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

設個體域為整數集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數x有整數y滿足x+y=0

B.任一整數x對任意整數y滿足x+y=0C.對任一整數x存在整數y滿足x+y=0D.存在一整數x對任意整數y滿足x+y=03.

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

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

設P：我將去打球.Q：我有時間．命題“我將去打球.僅當我有時間時〞符號化為()．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.

設命題公式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.

以下等價公式成立的為(

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

測試時間：0單項選擇題一、單項選擇題〔共

10

道試題.共

100

分?！?.

命題公式(PQ)Q為(

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

設個體域為整數集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數x有整數y滿足x+y=0

B.任一整數x對任意整數y滿足x+y=0C.對任一整數x存在整數y滿足x+y=0D.存在一整數x對任意整數y滿足x+y=03.

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

以下等價公式成立的為(

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

設命題公式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都是約束變元B.x.y都是自由變元C.x是約束變元.y都是自由變元D.x是自由變元.y都是約束變元7.

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

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

設A〔x〕：x是人.B〔x〕：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))9.

設P：我將去打球.Q：我有時間．命題“我將去打球.僅當我有時間時〞符號化為()．A.B.C.D.10.

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

測試時間：0單項選擇題一、單項選擇題〔共

10

道試題.共

100

分?！?.

設P：我將去打球.Q：我有時間．命題“我將去打球.僅當我有時間時〞符號化為()．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都是約束變元B.x.y都是自由變元C.x是約束變元.y都是自由變元D.x是自由變元.y都是約束變元7.

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

設A〔x〕：x是書.B〔x〕：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))9.

設個體域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.

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

測試時間：0單項選擇題一、單項選擇題〔共

10

道試題.共

100

分。〕1.

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

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

設A〔x〕：x是人.B〔x〕：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))4.

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

表達式中的轄域是()．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.

以下等價公式成立的為(

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

在謂詞公式(x)(A(x)→B(x)C(x.y))中.〔〕．A.x.y都是約束變元B.x.y都是自由變元C.x是約束變元.y都是自由變元D.x是自由變元.y都是約束變元9.

命題公式(PQ)Q為(

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

設個體域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任務_0005試卷總分：100

測試時間：0單項選擇題一、單項選擇題〔共

10

道試題.共

100

分?！?.

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

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

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

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

設P：我將去打球.Q：我有時間．命題“我將去打球.僅當我有時間時〞符號化為()．A.B.C.D.5.

設個體域為整數集.則公式"x$y(x+y=0)的解釋可為()．A.存在一整數x有整數y滿足x+y=0

B.任一整數x對任意整數y滿足x+y=0C.對任一整數x存在整數y滿足x+y=0D.存在一整數x對任意整數y滿足x+y=06.

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

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

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