2024年4月10日发(作者：中考数学试卷海口)
精选文档
数理逻辑部分
选择、填空及判断
✓ 下列语句不是命题的（ A ）。
(A) 你打算考硕士研究生吗？ (B) 太阳系以外的星球上有生物。
(C) 离散数学是计算机系的一门必修课。 (D) 雪是黑色的。
✓ 命题公式
P
(
PP
)的类型是（ A ）
(A) 永真式 (B) 矛盾式
(C) 非永真式的可满足式 (D) 析取范式
✓ A是重言式，那么A的否定式是( A )
A. 矛盾式 B. 重言式 C. 可满足式 D.不能确定
✓ 以下命题公式中，为永假式的是( C )
A. p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐
p)
✓ 命题公式P→Q的成假赋值是( D )
A. 00,11 B. 00,01,11 C.10,11 D. 10
✓ 谓词公式
xP(x)R(x,y)
中，变元x是 ( B )
A. 自由变元 B. 既是自由变元也是约束变元
C. 约束变元 D. 既不是自由变元也不是约束变元
✓ 命题公式P(QQ)的类型是( A )。
(A) 永真式 (B) 矛盾式
(C) 非永真式的可满足式 (D) 析取范式
✓ 设B不含变元x，
x(A(x)B)
等值于( A )
.
精选文档
A.
xA(x)B
B.
x(A(x)B)
C.
xA(x)B
D.
x(A(x)B
✓ 下列语句中是真命题的是( D )。
A．你是杰克吗？ B．凡石头都可练成金。
C．如果2+2=4，那么雪是黑的。 D．如果1+2=4，那么雪是黑的。
✓ 从集合分类的角度看，命题公式可分为( B )
A. 永真式、矛盾式 B. 永真式、可满足式、矛盾式
C. 可满足式、矛盾式 D. 永真式、可满足式
✓ 命题公式﹁p∨﹁q等价于( D )。
A. ﹁p∨q B. ﹁(p∨q) C. ﹁p∧q D. p→﹁q
✓ 一个公式在等价意义下，下面写法唯一的是( D )。
(A) 范式 (B) 析取范式 (C) 合取范式 (D) 主析取范式
✓ 下列含有命题p，q，r的公式中，是主析取范式的是 ( D )。
(A) (p q
(C) (p q
r)
r)
(p
(p
q)
q
(B) (p q
(D) (p q
r)
r)
(p
(p
q)
q r) r)
✓ 设个体域是整数集合，
P
代表
x
（ C ）。
y
((
xy
)(
xyx
))，下面描述正确的是
(A)
P
是真命题 (B)
P
是假命题
(C)
P
是一阶逻辑公式，但不是命题 (D)
P
不是一阶逻辑公式
✓ 对一阶逻辑公式
xy(P(x,y)Q(y,z))xP(x,y)
的说法正确的是( B ).
(A)
x
是约束的，
y
是约束的，
z
是自由的；
(B)
x
是约束的，
y
既是约束的又是自由的，
z
是自由的；
(C)
x
是约束的，
y
既是约束的又是自由的，
z
是约束的；
.
更多推荐
公式,命题,计算机系,星球,变元,集合
发布评论