- 247
- 0
- 约4.82千字
- 约 10页
- 2021-10-30 发布于天津
- 举报
数理逻辑习题
判断题
1任何命题公式存在惟一的特异析取范式 (V)
2.公式p ( p q)是永真式 (V)
3.命题公式 (p q) p 是永真式 ( V)
4. 命题公式p q r的成真赋值为010 ( x)
5. xA(x) B x(A(x) B) ( V )
6•命题“如果1 + 2= 3,则雪是黑的”是真命题 (X )
7. p (p q) p ( V)
x(F(x) G(x))是永真式 (X)
9. “我正在撒谎”是命题 ( X)
10. xF (x) xG(x)是永真式( V)
11. 命题 “如果 1+2=0,则雪是黑的 ”是假命题 ( X )
12. p (p q) p ( V)
13. x(F(x) G(x))是永假式 (X )
14. 每个命题公式都有唯一的特异(主)合取范式 ( V )
15. 若 p: 雪是黑色的 ,则 公式 p q 是永真式 ( V )
16. 每个逻辑公式都有唯一的前束范式 ( X)
17. 公式 p q 的特异(主)析取式为 p q ( X)
18•命题公式 p (q r)的成假赋值是110 ( V)
19.一阶逻辑公式 x(F(x) G(x,y)) 是闭式( X)
单项选择题
1. 下述不是命题的是( A )
A .花儿真美啊!
B.
明天是阴天。
C. 2是偶数。
D.
铅球是方的。
2.
谓词公式( y)( x)(P(x)
fR(x,y))
A yQ (x,y)中变元 y ( B
A .是自由变兀但不是约束变兀
B
.是约束变元但不是自由变元
3.
C . 既是自由变兀又是约束变兀
D
.既不是自由变元又不是约束变元
下列命题公式为重言式的是(
A )
A
.pf ( pVq)
B.
(pVnp)fq
C
.qAnq
D.
pfnq
4.
下列语句中不是.命题的只有(
A )
A .花儿为什么这样红?
B.
2+2=0
)
6. 下列命题公式为重言式的是(
B . ( p V np) fq
C. q A nq
7.给定如下 4个语句:
其中不是复合命题的是( B
A.(1)(4)
D.(1)(3)(4)
10. 下述不是命题的是( D )A .花儿是红色的
11.
用P表示:天下大雨;Q表示:
他乘公共汽车上班。将“如果天下大雨,他就乘公共
汽车上班。”符号化正确的是( A
)
A
.P Q B.Q P
C.P
Q D.P Q
12.谓词公式( y)( x)(P(x)
t
R(
x,y))A
xQ (x,y)中变元 y ( C )
A.
是自由变元但不是约束变元
B.
是约束变元但不是自由变元
C.
既是自由变元又是约束变元
D.
既不是自由变元又不是约束变元
13.下
列命题公式为永假式的是(
C
)
A.
pi (pV q)
B.
pAqtq
C.
qAn q
D.
ptq
14.下
列语句中,不是命题的是(
C
)
A
.铅球不是球。
B
.要是他不上场,我们就不会输。
C
.刘翔跨 110米栏用了不到 13 秒钟,
你说他是不是运动健将呢 ?
D
.刘翔跨 110米栏用了不到 13 秒钟,
他是一个真正的运动健将。
13.关于命题变元 P 和 Q 的成假赋值为
01
对应的极大项是( C )
A
.nPAQ B.nPVQ
C.PV
nQ D.PAnQ
14.谓词公式( y)( x)(P(x)
t
R(
x,y))A
yQ (x,y)中变元 y ( B )
A
.是自由变元但不是约束变元
B.
是约束变元但不是自由变元
C
.既是自由变元又是约束变元
D.
既不是自由变元又不是约束变元
15.
设p:开关A开,q :开关B开,则开且只开
A、B 中一个开关”的命题公式是(
A.
pq
B.
p
q
C.
( p q) ( p q)
D.
(p
q) ( p q)
16.下
列等价式正确的是( C )
A.
n( x)A ( x)nA
B.
( x)(
y)A ( x)( y)A
C.
n( x)A ( x) nA
D
. ( x)( A( x) B(x)) ( x)A(x) ( x)B(x)
17.在论域 D={a,b} 中与公式( x )
A
(x)
等价的不含存在量词的公式是( B )
A.
A(a) A(b)
B
. A(a)
A(b)
C.
A(a) A(b)
D.
A(b)
A(a)
18.下
列命题公式为重言式的是(
C
)
A.
pt ( pA q)
B.
(pVn
p)tq
C.
pVnp
D.
ptnq
C. 3是偶数
C )
19.下列命题中真值为 1的是(B )
A .若 2+2=4,则 3+3 6
B .若
2+2=4,则 3+3=6
C. 2+2=4,当且仅当3+3 6
D . 2+2 4,当且仅当3+3=6
原创力文档

文档评论(0)