|
|
.png) 三.docx : 3
附件大小: 112.13 KB, : 0
下载购买记录部分科目为随机出题，顺序是乱的 请用CTRL+F搜索查找你所需要的试题
试题 1
设个体域D是整数集合，则命题 的真值是（ ）．
A.不确定
B.以上说法都不是
C.T
D.F
试题 1
下列公式 ( )为重言式．
A.(Q→(P∨Q)) ↔(┐Q∧(P∨Q))
B.┐P∧┐Q↔P∨Q
C.Q→(P∨(P∧Q))↔Q →P
D.(┐P∨(P∧Q)) ↔Q
试题 2
命题公式 的主析取范式是( )．
A.
B.
C.
D.
试题 2
下列公式成立的为( )．
A.P→┐Q ┐P→Q
B.┐P∧┐Q P∨Q
C.
D.┐P∧(P∨Q) Q
试题 3
命题公式 (P∨Q) 的合取范式是 ( ) ．
A.(P∧Q)
B.┐(┐P∧┐Q)
C.(P∧Q)∨(P∨Q)
D.(P∨Q)
试题 3
谓词公式( x)(A(x)→B(x)∨C(x，y))中的（ ）。
A.x，y都是约束变元
B.x是约束变元，y都是自由变元
C.x是自由变元，y都是约束变元
D.x，y都是自由变元
试题 4
设命题公式G： ，则使公式G取真值为1的P，Q，R赋值分别是 ( )．
A.1, 0, 0
B.0, 0, 0
C.0, 1, 0
D.0, 0, 1
试题 4
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）．
A.
B.
C.
D.
试题 5
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）．
A.
B.
C.
D.
试题 5
下列等价公式成立的为( )．
A.┐P∧P ┐Q∧Q
B.P∧Q P∨Q
C.┐P∨P Q
D.┐Q→P P→Q
试题 6
表达式 中 的辖域是( )．
A.
B.
C.
D.
试题 6
设个体域为整数集，则公式 的解释可为( )．
A.存在一整数x有整数y满足x+y=0
B.对任一整数x存在整数y满足x+y=0
C.存在一整数x对任意整数y满足x+y=0
D.任一整数x对任意整数y满足x+y=0
试题 7
下列等价公式成立的为( )．
A.P→(┐Q→P) ┐P→(P→Q)
B.┐P∧┐Q P∨Q
C.Q→(P∨Q) ┐Q∧(P∨Q)
D.┐P∨(P∧Q) Q
试题 7
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )．
A.
B.
C.
D.
试题 8
设个体域D={a, b, c}，那么谓词公式 消去量词后的等值式为( )．
A.
B.
C.
D.
试题 8
命题公式 的主合取范式是( )．
A.
B.
C.
D.
试题 9
命题公式 (P∨Q)→R的析取范式是 ( )．
A.(P∨Q)∨R
B.(┐P∧┐Q)∨R
C.(P∧Q)∨R
D.┐(P∨Q)∨R
试题 9
命题公式 为( )
A.矛盾式
B.合取范式
C.重言式
D.可满足式
试题 10
下列公式中 ( )为永真式．
A.┐A∧┐B ↔ ┐A∨┐B
B.┐A∧┐B ↔ ┐(A∨B)
C.┐A∧┐B ↔ ┐(A∧B)
D.┐A∧┐B ↔A∨B
试题 10
前提条件 的有效结论是( )．
A.Q
B.┐Q
C.P
D.┐P
试题 11
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( )
试题 11
命题公式┐(P→Q)的主析取范式是P∨┐Q．( )
试题 12
下面的推理是否正确．( )
(1) (∀x)A(x)→B(x) 前提引入
(2) A(y)→B(y) US (1)
试题 12
设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( )
试题 13
设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( )
试题 13
设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( )
试题 14
设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( )
试题 14
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( )
试题 15
命题公式┐P∧P的真值是T．( )
试题 15
谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( )
试题 16
设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( )
试题 16
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( )
试题 17
命题公式┐P∧(P∨Q) Q成立． ( )
试题 17
命题公式┐P∧(P→┐Q)∨P为永真式．( )
试题 18
设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( )
试题 18
命题公式P→(Q∨P)的真值是T．( )
试题 19
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( )
试题 19
谓词公式┐(∀x)P(x) (∃x)┐P(x)成立．( )
试题 20
谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( )
试题 20
设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( ) |
本帖子中包含更多资源
您需要 登录 才可以下载或查看，没有帐号？立即注册
x
上一篇：国开《离散数学（本）》形考任务作业2辅导资料下一篇：国开《立体构成》形考任务作业3辅导资料
|
[复制链接]
发表于 2023-10-14 17:51:42
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
中发现Ni：
发表于 2023-10-14 17:54:26
QQ登录
