06任务_0001试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。

）1. 命题公式的析取范式是( )．A.B.C.D.2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 下列公式成立的为( )．A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q4. 下列公式中( )为永真式．A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)5. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．A.B.C.D.6. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R7. 命题公式（P∨Q）的合取范式是( )．A. （P∧Q）B. （P∧Q）∨（P∨Q）C. （P∨Q）D. ⌝（⌝P∧⌝Q）8. 设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是( )．A. 0, 0, 0B. 0, 0, 1C. 0, 1, 0D. 1, 0, 09. 命题公式P→Q的主合取范式是( )．A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q10. 下列等价公式成立的为( )．A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q06任务_0002试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。

）1. 命题公式(P∨Q)→Q为( )A. 矛盾式B. 可满足式C. 重言式D. 合取范式2. 设个体域为整数集，则公式"x$y(x+y=0)的解释可为( )．A. 存在一整数x有整数y满足x+y=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=03. 命题公式的析取范式是( )．A.B.C.D.4. 下列等价公式成立的为( )．A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q5. 设命题公式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. 命题公式P→Q的主合取范式是( )．A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q8. 设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. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R06任务_0003试卷总分：100 测试时间：0单项选择题一、单项选择题（共10 道试题，共100 分。

）1. 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．A.B.C.D.2. 下列公式成立的为( )．A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q3. 下列公式( )为重言式．A. ⌝P∧⌝Q↔P∨QB. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C. (P→(⌝Q→P))↔(⌝P→(P→Q))D. (⌝P∨(P∧Q)) ↔Q4. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R5. 命题公式P→Q的主合取范式是( )．A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q6. 在谓词公式(∀x)(A(x)→B(x)∨C(x，y))中，（）．A. x，y都是约束变元B. x，y都是自由变元C. x是约束变元，y都是自由变元D. x是自由变元，y都是约束变元7. 下列公式中( )为永真式．A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)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. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q2. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨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. ⌝P∧⌝Q↔P∨QB. (Q→(P∨Q)) ↔(⌝Q∧(P∨Q))C. (P→(⌝Q→P))↔(⌝P→(P→Q))D. (⌝P∨(P∧Q)) ↔Q5. 表达式中的辖域是( )．A. P(x, y)B. P(x, y)∨Q(z)C. R(x, y)D. P(x, y)∧R(x, y)6. 命题公式（P∨Q）的合取范式是( )．A. （P∧Q）B. （P∧Q）∨（P∨Q）C. （P∨Q）D. ⌝（⌝P∧⌝Q）7. 下列等价公式成立的为( )．A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q8. 在谓词公式(∀x)(A(x)→B(x)∨C(x，y))中，（）．A. x，y都是约束变元B. x，y都是自由变元C. x是约束变元，y都是自由变元D. x是自由变元，y都是约束变元9. 命题公式(P∨Q)→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 分。

）1. 命题公式P→Q的主合取范式是( )．A. (P∨Q)∧(∏∨⌝Θ)∧(⌝∏∨⌝Θ)B. ⌝P∧QC. ⌝P∨QD. P∨⌝Q2. 设个体域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=0B. 任一整数x对任意整数y满足x+y=0C. 对任一整数x存在整数y满足x+y=0D.存在一整数x对任意整数y满足x+y=06. 命题公式(P∨Q)→R的析取范式是( )A. ⌝(P∨Q)∨RB. (P∧Q)∨RC. (P∨Q)∨RD. (⌝P∧⌝Q)∨R7. 下列公式成立的为( )．A. ⌝P∧⌝Q ⇔P∨QB. P→⌝Q⇔⌝P→QC. Q→P⇒ PD. ⌝P∧(P∨Q)⇒Q8. 设个体域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))9. 下列公式中( )为永真式．A. ⌝A∧⌝B ↔⌝A∨⌝BB. ⌝A∧⌝B ↔⌝(A∨B)C. ⌝A∧⌝B ↔A∨BD. ⌝A∧⌝B ↔⌝(A∧B)10. 下列等价公式成立的为( )．A. ⌝P∧P⇔⌝Q∧QB. ⌝Q→P⇔P→QC. P∧Q⇔P∨QD. ⌝P∨P⇔Q。