英语幽默小短文-企业调查表模板
06任务_0001
试卷总分:100 测试时间:0
单项选择题
一、单项选择题(共 10 道试题,共 100 分。)
1.
A.
B.
C.
D.
2.
命题公式
的析取范式是( ).
设个体域为整数集,则公式的解释可为( ).
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3.
A.
B.
P
C.
Q
D.
4.
A.
B.
C.
下列公式成立的为( ).
PQ
PQ
Q
PQ
P
P
P
(
PQ
)
Q
下列公式中 ( )为永真式.
A
A
A
B
AB
B
(
AB
)
B
AB
D.
5.
AB
(
AB
)
设
P
:我将去打球,
Q
:我有 时间.命题“我将去打球,仅当我有时间时”符
号化为( ).
A.
B.
C.
D.
6.
A.
命题公式(
P
(
P
Q
)
R
的析取范式是 ( )
Q
)
R
Q
)
R
Q
)
R
B.
(
P
C.
(
P
D.
(
7.
PQ
)
R
Q
)的合取范式是 ( ).
命题公式(
P
A.
(
P
B.
(
P
C.
(
P
D.
8.
Q
)
Q
)(
PQ
)
Q
)
PQ
)
,则使公式
G
取 真值为1的
P
,
Q
,
R
赋值分别是
(
设命题公式
G
:
( ).
A.
0, 0, 0
B.
0, 0, 1
C.
0, 1, 0
D.
1, 0, 0
9.
命题公式
P
A.
(
P
Q
的主合取范式是( ).
Q
)
B.
C.
D.
P
P
P
Q
Q
Q
10.
下列等价公式成立的为( ).
A.
B.
C.
P
PP
QPPQ
QPQ
D.
PP
Q
06任务_0002
试卷总分:100 测试时间:0
单项选择题
一、单项选择题(共 10 道试题,共 100 分。)
1.
命题公式(
P
A.
矛盾式
B.
可满足式
C.
重言式
D.
合取范式
2.
Q
)
Q
为( )
设个体域为整数集,则公式的解释可为( ).
A. 存在一整数x有整数y满足x+y=0
B. 任一整数x对任意整数y满足x+y=0
C. 对任一整数x存在整数y满足x+y=0
D.
存在一整数x对任意整数y满足x+y=0
3.
A.
B.
C.
D.
命题公式
的析取范式是( ).
4.
下列等价公式成立的为( ).
A.
B.
C.
P
PP
QPPQ
QPQ
D.
5.
PP
Q
设命题公式
G
:,则使公式
G
取真值为1的
P
,
Q
,
R
赋值分别是
( ).
A.
0, 0, 0
B.
0, 0, 1
C.
0, 1, 0
D.
1, 0, 0
6.
在谓词公式(
x
)(
A
(
x
)→
B
(
x
)
C(
x
,
y
))中,( ).
A.
x
,
y
B.
x
,
y
C.
x
D.
x
都是约束变元
都是自由变元
是约束变元,
y
都是自由变元
是自由变元,
y
都是约束变元
Q
的主合取范式是( ).
7.
命题公式
P
A.
(
P
B.
C.
D.
P
8.
A.
B.
(
C.
D.
9.
Q
)
Q
Q
Q
P
P
设A(x):x是人,B(x):x是教师,则命题“有人是教师”可符号化为( ).
(
x
)(
A
(
x
)
B(
x
))
x
)(
A
(
x
)
B
(
x
))
(
x
)(
A
(
x
)
B
(
x
))
B
(
x
))
(
x
)(
A
(
x
)
设
P
:我将去打球,
Q
:我有时间.命题 “我将去打球,仅当我有时间时”符
号化为( ).
A.
B.
C.
D.
10.
A.
命题公式(
P
(
P
Q
)
R
的析取范式是 ( )
Q
)
R
Q
)
R
Q
)
R
B.
(
P
C.
(
P
D.
(
PQ
)
R
06任务_0003
试卷总分:100 测试时间:0
单项选择题
一、单项选择题(共 10 道试题,共 100 分。)
1.
设
P< br>:我将去打球,
Q
:我有时间.命题“我将去打球,仅当我有时间时”符
号化为 ( ).
A.
B.
C.
D.
2.
A.
B.
P
C.
Q
D.
3.
A.
下列公式成立的为( ).
PQ
PQ
Q
PQ
P
P
P
(
PQ
)
Q
下列公式 ( )为重言式.
PQPQ
(
PQ
))
(
Q
(
Q
(
P
B.
(
Q
C.
(
P
D.
(
4.
A.
Q
))
P
))(
P
(
PQ
))
P
(
PQ
))
Q
命题公式(
P
(
P
Q
)
R
的析取范式是 ( )
Q
)
R
Q
)
R
Q
)
R
B.
(
P
C.
(
P
D.
(
PQ
)
R
Q
的主合取范式是( ).
5.
命题公式
P
A.
(
PQ
)
B.
C.
D.
P
6.
P
P
Q
Q
Q
在谓词公式(
x
)(
A
(
x
)→
B
(
x
)
C
(
x
,
y
))中,( ).
A.
x
,
y
B.
x
,
y
C.
x
D.
x
7.
A.
B.
C.
D.
8.
都是约束变元
都是自由变元
是约束变元,
y
都是自由变元
是自由变元,
y
都是约束变元
下列公式中 ( )为永真式.
A
A
A
A
B
AB
B
(
AB
)
B
AB
B
(
AB
)
设A(x):x是书,B(x):x是数学书,则命题“不是所有书都是数学书”可
符号化为( ).
x
)(
A
(
x
)→
B
(
x
))
A.
┐(
B.
C.
(
D.
9.
(
x
)(
A
(
x
)
B
(
x
))
x
)(
A(
x
)
B
(
x
))
(
x< br>)(
A
(
x
)
B
(
x
))
消去量词后的等值式设个体域
D
={
a
,
b
,
c
},那么谓词公式
为 .
A.
(
A
(
a
)
B.
(
A
(
a
)
C.
(
A
(
a
)
D.
(
A
(
a
)
A
(
b
)
A
(
c
))(< br>B
(
a
)
B
(
b
)
B
(< br>b
))
A
(
b
)
A
(
c
))(
B
(
a
)
B
(
b
)
B
(
b
))
A
(
b
)
A(
c
))(
B
(
a
)
B
(
b
)
B
(
b
))
A
(
b
)
A
(
c
))(
B
(
a
)
B(
b
)
B
(
b
))
南京纪念日-福建旅游景点大全
小学生名片-失落的向日葵
燃放-空间应用打不开
女士香水品牌-欧美明星名字
中国象棋棋谱大全-机枪大全
粮票收藏价格表-粗话大全
谈恋爱的目的-一心以为有鸿鹄将至
小别墅图片大全-山水田园诗派代表人物
本文更新与2020-11-29 13:06,由作者提供,不代表本网站立场,转载请注明出处:https://www.bjmy2z.cn/gaokao/470324.html