的解释可为(??? )．A. 任一整数x对任意整数y满足x+y=0
B. 存在一整数x对任意整数y满足x+y=0
C. 存在一整数x有整数y满足x+y=0
D. 对任一整数x存在整数y满足x+y=0
2. 设命题公式G：
，则使公式G取真值为1的P，Q，R赋值分别是 (??? )．A. 0, 0, 1
B. 0, 0, 0
C. 1, 0, 0
D. 0, 1, 0
3. 命题公式
为(????? )A. 可满足式
B. 重言式
C. 合取范式
D. 矛盾式
4. 前提条件
的有效结论是(??? )．A. ┐Q
B. ┐P
C. P
D. Q
5. 下列公式中 (??? )为永真式．
A. ┐A∧┐B ?A∨B??
B. ┐A∧┐B ??┐(A∨B)
C. ┐A∧┐B ? ┐(A∧B)
D. ┐A∧┐B ??┐A∨┐B
6. 谓词公式(
x)(A(x)→B(x)∨C(x，y))中的（ ）。A. x是自由变元，y都是约束变元
B. x是约束变元，y都是自由变元
C. x，y都是自由变元
D. x，y都是约束变元
7. 命题公式 (P∨Q)→R的析取范式是 (??? )．
A. (┐P∧┐Q)∨R
B. (P∧Q)∨R
C. ┐(P∨Q)∨R
D. (P∨Q)∨R
8. 设个体域D是整数集合，则命题
的真值是（?? ）．A. T
B. 以上说法都不是
C. 不确定
D. F
9. 下列公式 (??? )为重言式．
A. ┐P∧┐Q?P∨Q
B. (┐P∨(P∧Q)) ?Q
C. (Q→(P∨Q)) ?(┐Q∧(P∨Q))
D. Q→(P∨(P∧Q))?Q →P
10. 下列等价公式成立的为(??? )．
A. ┐P∧P
┐Q∧QB. P∧Q
P∨QC. ┐P∨P
QD. ┐Q→P
P→Q11. P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．(??? )
对
错
12. P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．(??? )?
对
错
13. P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．(??? )
对
错
14. D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(?x)A(x) 的真值为T．(??? )?
对
错
15. ┐(P→Q)的主析取范式是P∨┐Q．(??? )?
对
错
16. D＝{a, b}，则谓词公式(?x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．(??? )?
对
错
17. P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．(??? )?
对
错
18. D＝{a, b},那么谓词公式(?x)A(x)∨(?y)B(y)消去量词后的等值式为A(a)∨B(b)．(??? )?
对
错
19. P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(?x)(P(x)→Q(x))．(??? )?
对
错
20. ┐P∧(P∨Q)
Q成立． (??? )?对
错
(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取
