A.
B. C. D. 反馈 你的回答正确 正确答案是：
题目2
正确
获得5.00分中的5.00分 标记题目 题干
命题公式 (P∨Q)→R的析取范式是 ( 选择一项：
A. (┐P∧┐Q)∨R B. ┐(P∨Q)∨R C. (P∨Q)∨R D. (P∧Q)∨R 反馈 你的回答正确
)． 正确答案是：(┐P∧┐Q)∨R
题目3
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式选择一项：
A. B. C. D. 反馈
你的回答不正确 正确答案是：
的主合取范式是( )．
题目4
正确
获得5.00分中的5.00分 标记题目 题干
命题公式为( )
选择一项：
A. 合取范式 B. 重言式 C. 可满足式 D. 矛盾式 反馈 你的回答正确 正确答案是：可满足式
题目5
正确
获得5.00分中的5.00分 标记题目 题干
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式 (P∨Q) 的合取范式是 ( ) ． 选择一项：
A. (P∧Q)∨(P∨Q) B. (P∨Q) C. (P∧Q) D. ┐(┐P∧┐Q) 反馈
你的回答不正确 正确答案是：(P∨Q)
题目7
不正确
获得5.00分中的0.00分 标记题目 题干
前提条件选择一项：
A. ┐P
的有效结论是( )．
B. Q C. ┐Q D. P 反馈
你的回答不正确 正确答案是：┐Q
题目8
不正确
获得5.00分中的0.00分 标记题目 题干
设命题公式G：别是 ( )． 选择一项：
A. 1, 0, 0 B. 0, 1, 0 C. 0, 0, 1 D. 0, 0, 0 反馈
你的回答不正确 正确答案是：1, 0, 0
，则使公式G取真值为1的P，Q，R赋值分
题目9
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D是整数集合，则命题的真值是（ ）．
选择一项：
A. T
B. 以上说法都不是 C. 不确定 D. F 反馈
你的回答不正确 正确答案是：T
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. ┐P∨PQ B. ┐Q→PP→Q
C. P∧QD. ┐P∧P反馈
P∨Q ┐Q∧Q
你的回答不正确 正确答案是：┐P∧P标记题目 信息文本
┐Q∧Q
判断题
题目11
不正确
获得5.00分中的0.00分 标记题目 题干
设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目12
不正确
获得5.00分中的0.00分
标记题目 题干
谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
正确
获得5.00分中的5.00分 标记题目 题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目14
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目15
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式┐P∧P的真值是T．( 选择一项：
对 错 反馈
正确的答案是“错”。
题目16
正确
) 获得5.00分中的5.00分 标记题目 题干
设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目18
不正确
获得5.00分中的0.00分 标记题目 题干
设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
命题公式P→(Q∨P)的真值是T．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目20
) 正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧(P∨Q)Q成立． ( )
选择一项：
对 错 反馈
正确的答案是“对”。 命题公式的主析取范式是( 选择一项：
A. B.
C. D. 反馈 你的回答正确
正确答案是：
题目2
正确
获得5.00分中的5.00分
)．
标记题目 题干
设个体域D={a, b, c}，那么谓词公式( )． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
消去量词后的等值式为
题目3
不正确
获得5.00分中的0.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. ┐P∧┐QP∨Q
Q
B. ┐P∨(P∧Q)
C. Q→(P∨Q)D. P→(┐Q→P)反馈
你的回答不正确
┐Q∧(P∨Q) ┐P→(P→Q)
正确答案是：P→(┐Q→P)┐P→(P→Q)
题目4
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式成立的为( )． 选择一项：
A. ┐P∧(P∨Q)B.
C. ┐P∧┐QD. P→┐Q反馈
你的回答不正确
正确答案是：┐P∧(P∨Q)
Q
P∨Q ┐P→Q
Q
题目5
正确
获得5.00分中的5.00分
标记题目 题干
谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。 选择一项：
A. x是自由变元，y都是约束变元 B. x是约束变元，y都是自由变元 C. x，y都是约束变元 D. x，y都是自由变元 反馈 你的回答正确
正确答案是：x是约束变元，y都是自由变元
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式 ( )为重言式． 选择一项：
A. ┐P∧┐Q↔P∨Q
B. (Q→(P∨Q)) ↔(┐Q∧(P∨Q)) C. (┐P∨(P∧Q)) ↔Q
D. Q→(P∨(P∧Q))↔Q →P 反馈
你的回答不正确
正确答案是：Q→(P∨(P∧Q))↔Q →P
题目7
正确
获得5.00分中的5.00分 标记题目 题干
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
题目8
正确
获得5.00分中的5.00分 标记题目
题干
下列公式中 ( )为永真式． 选择一项：
A. ┐A∧┐B ↔ ┐A∨┐B B. ┐A∧┐B ↔ ┐(A∨B) C. ┐A∧┐B ↔ ┐(A∧B) D. ┐A∧┐B ↔A∨B 反馈 你的回答正确
正确答案是：┐A∧┐B ↔ ┐(A∨B)
题目9
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域为整数集，则公式的解释可为( 选择一项：
A. 对任一整数x存在整数y满足x+y=0 B. 存在一整数x有整数y满足x+y=0
C. 存在一整数x对任意整数y满足x+y=0 D. 任一整数x对任意整数y满足x+y=0
)．
反馈
你的回答不正确
正确答案是：对任一整数x存在整数y满足x+y=0
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
表达式( )． 选择一项：
A. B. C. D. 反馈
你的回答不正确 正确答案是：标记题目 信息文本
中的辖域是
判断题
题目11
不正确
获得5.00分中的0.00分 标记题目 题干
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目12
不正确
获得5.00分中的0.00分 标记题目 题干
下面的推理是否正确．( )
(1) (∀x)A(x)→B(x) 前提引入 (2) A(y)→B(y) US (1) 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐(P→Q)的主析取范式是P∨┐Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目14
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目15
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧(P→┐Q)∨P为永真式．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目16
不正确
获得5.00分中的0.00分 标记题目 题干
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项：
对 错
反馈
正确的答案是“对”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( )
选择一项：
对 错
) 反馈
正确的答案是“对”。
命题公式选择一项：
A. 矛盾式 B. 可满足式 C. 合取范式 D. 重言式 反馈
你的回答不正确
为( )
正确答案是：可满足式
题目2
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D={a, b, c}，那么谓词公式( )． 选择一项：
A. B. C.
消去量词后的等值式为
D.
反馈 你的回答正确 正确答案是：
题目3
正确
获得5.00分中的5.00分 标记题目 题干
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（选择一项：
A. B.
C.
D. 反馈 你的回答正确 正确答案是：
题目4
正确
获得5.00分中的5.00分 标记题目
）． 题干
谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。 选择一项：
A. x是约束变元，y都是自由变元 B. x是自由变元，y都是约束变元 C. x，y都是自由变元 D. x，y都是约束变元 反馈 你的回答正确
正确答案是：x是约束变元，y都是自由变元
题目5
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域为整数集，则公式的解释可为( 选择一项：
A. 存在一整数x对任意整数y满足x+y=0 B. 对任一整数x存在整数y满足x+y=0 C. 任一整数x对任意整数y满足x+y=0 D. 存在一整数x有整数y满足x+y=0
)．
反馈
你的回答不正确
正确答案是：对任一整数x存在整数y满足x+y=0
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式成立的为( )． 选择一项：
A.
B. ┐P∧┐QC. P→┐Q
P∨Q ┐P→Q
D. ┐P∧(P∨Q)反馈
你的回答不正确
Q
正确答案是：┐P∧(P∨Q)Q
题目7
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式 ( )为重言式． 选择一项：
A. (┐P∨(P∧Q)) ↔Q B. Q→(P∨(P∧Q))↔Q →P C. (Q→(P∨Q)) ↔(┐Q∧(P∨Q)) D. ┐P∧┐Q↔P∨Q 反馈
你的回答不正确
正确答案是：Q→(P∨(P∧Q))↔Q →P
题目8
不正确
获得5.00分中的0.00分 标记题目 题干
前提条件的有效结论是( 选择一项：
A. Q B. P C. ┐Q D. ┐P 反馈
你的回答不正确
)．
正确答案是：┐Q
题目9
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D是整数集合，则命题的真值是（选择一项：
A. F B. 不确定
C. 以上说法都不是 D. T 反馈
你的回答不正确 正确答案是：T
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式中 ( )为永真式． 选择一项：
）．
A. ┐A∧┐B ↔ ┐(A∧B) B. ┐A∧┐B ↔A∨B C. ┐A∧┐B ↔ ┐(A∨B) D. ┐A∧┐B ↔ ┐A∨┐B 反馈
你的回答不正确
正确答案是：┐A∧┐B ↔ ┐(A∨B) 标记题目 信息文本
判断题
题目11
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目12
) 正确
获得5.00分中的5.00分 标记题目 题干
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式┐P∧(P∨Q)Q成立． ( )
选择一项：
对 错 反馈
正确的答案是“对”。
题目14
正确
获得5.00分中的5.00分 标记题目 题干
命题公式P→(Q∨P)的真值是T．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目15
正确
获得5.00分中的5.00分 标记题目 题干
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目16
正确
获得5.00分中的5.00分 标记题目 题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
下面的推理是否正确．( )
(1) (∀x)A(x)→B(x) 前提引入 (2) A(y)→B(y) US (1) 选择一项：
对 错 反馈
正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧(P→┐Q)∨P为永真式．( ) 选择一项：
对
错 反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
下列等价公式成立的为( )． 选择一项：
A. ┐P∧┐QB. Q→(P∨Q)C. P→(┐Q→P)D. ┐P∨(P∧Q)
P∨Q
┐Q∧(P∨Q) ┐P→(P→Q)
Q
反馈
你的回答不正确
正确答案是：P→(┐Q→P)
┐P→(P→Q)
题目2
不正确
获得5.00分中的0.00分 标记题目 题干
设命题公式G：别是 ( )． 选择一项：
A. 1, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 0, 0, 0 反馈
你的回答不正确 正确答案是：1, 0, 0
，则使公式G取真值为1的P，Q，R赋值分
题目3
正确
获得5.00分中的5.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. ┐Q→PB. ┐P∨PC. P∧QD. ┐P∧P反馈 你的回答正确 正确答案是：┐P∧P┐Q∧Q
P→Q Q P∨Q ┐Q∧Q
题目4
不正确
获得5.00分中的0.00分 标记题目 题干
表达式( )． 选择一项：
A. B. C. D.
中的辖域是
反馈
你的回答不正确 正确答案是：
题目5
正确
获得5.00分中的5.00分 标记题目 题干
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式的主析取范式是( )．
选择一项：
A.
B. C. D. 反馈
你的回答不正确
正确答案是：
题目7
正确
获得5.00分中的5.00分 标记题目 题干
命题公式 (P∨Q)→R的析取范式是 ( 选择一项：
A. (P∧Q)∨R B. (┐P∧┐Q)∨R C. (P∨Q)∨R D. ┐(P∨Q)∨R
)． 反馈 你的回答正确
正确答案是：(┐P∧┐Q)∨R
题目8
正确
获得5.00分中的5.00分 标记题目 题干
命题公式 (P∨Q) 的合取范式是 ( 选择一项：
A. (P∨Q) B. (P∧Q) C. ┐(┐P∧┐Q) D. (P∧Q)∨(P∨Q) 反馈 你的回答正确 正确答案是：(P∨Q)
题目9
不正确
获得5.00分中的0.00分 标记题目 题干
) ． 命题公式选择一项：
A. B. C. D. 反馈
你的回答不正确 正确答案是：
的主合取范式是( )．
题目10
正确
获得5.00分中的5.00分 标记题目 题干
设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． 选择一项：
A. B. C. D. 反馈
你的回答正确 正确答案是：
标记题目 信息文本
判断题
题目11
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧P的真值是T．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目12
正确
获得5.00分中的5.00分 标记题目 题干
谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( )
选择一项：
对 错 反馈
正确的答案是“对”。
题目13
正确
获得5.00分中的5.00分 标记题目 题干
谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( 选择一项：
对 错 反馈
正确的答案是“错”。
题目14
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐(P→Q)的主析取范式是P∨┐Q．( )
) 选择一项：
对 错 反馈
正确的答案是“错”。
题目15
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目16
正确
获得5.00分中的5.00分 标记题目 题干
设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( )
选择一项：
对 错 反馈
正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目19
不正确
获得5.00分中的0.00分 标记题目 题干
谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
)
设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
结束回顾 命题公式的主析取范式是( 选择一项：
A. B.
C. D. 反馈 你的回答正确
正确答案是：
题目2
正确
获得5.00分中的5.00分 标记题目 题干
)．
设个体域D={a, b, c}，那么谓词公式( )． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
消去量词后的等值式为
题目3
不正确
获得5.00分中的0.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. ┐P∧┐QP∨Q
Q
┐Q∧(P∨Q) ┐P→(P→Q)
B. ┐P∨(P∧Q)C. Q→(P∨Q)D. P→(┐Q→P)
反馈
你的回答不正确
正确答案是：P→(┐Q→P)
┐P→(P→Q)
题目4
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式成立的为( )． 选择一项：
A. ┐P∧(P∨Q)B.
C. ┐P∧┐QD. P→┐Q反馈
你的回答不正确
正确答案是：┐P∧(P∨Q)
Q
P∨Q ┐P→Q
Q
题目5
正确
获得5.00分中的5.00分 标记题目 题干
谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。 选择一项：
A. x是自由变元，y都是约束变元 B. x是约束变元，y都是自由变元 C. x，y都是约束变元 D. x，y都是自由变元 反馈 你的回答正确
正确答案是：x是约束变元，y都是自由变元
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式 ( )为重言式． 选择一项：
A. ┐P∧┐Q↔P∨Q
B. (Q→(P∨Q)) ↔(┐Q∧(P∨Q)) C. (┐P∨(P∧Q)) ↔Q D. Q→(P∨(P∧Q))↔Q →P 反馈
你的回答不正确
正确答案是：Q→(P∨(P∧Q))↔Q →P
题目7
正确
获得5.00分中的5.00分 标记题目 题干
设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）． 选择一项：
A. B. C. D. 反馈 你的回答正确 正确答案是：
题目8
正确
获得5.00分中的5.00分 标记题目 题干
下列公式中 ( )为永真式．
选择一项：
A. ┐A∧┐B ↔ ┐A∨┐B B. ┐A∧┐B ↔ ┐(A∨B) C. ┐A∧┐B ↔ ┐(A∧B) D. ┐A∧┐B ↔A∨B 反馈 你的回答正确
正确答案是：┐A∧┐B ↔ ┐(A∨B)
题目9
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域为整数集，则公式的解释可为( 选择一项：
A. 对任一整数x存在整数y满足x+y=0 B. 存在一整数x有整数y满足x+y=0
C. 存在一整数x对任意整数y满足x+y=0 D. 任一整数x对任意整数y满足x+y=0 反馈
你的回答不正确
正确答案是：对任一整数x存在整数y满足x+y=0
)．
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
表达式( )． 选择一项：
A. B. C. D. 反馈
你的回答不正确 正确答案是：标记题目 信息文本
中的辖域是
判断题
题目11
不正确
获得5.00分中的0.00分 标记题目 题干
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目12
不正确
获得5.00分中的0.00分 标记题目 题干
下面的推理是否正确．( )
(1) (∀x)A(x)→B(x) 前提引入 (2) A(y)→B(y) US (1) 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐(P→Q)的主析取范式是P∨┐Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目14
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目15
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧(P→┐Q)∨P为永真式．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目16
不正确
获得5.00分中的0.00分 标记题目 题干
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( )
选择一项：
对 错
命题公式为( )
) 选择一项：
A. 矛盾式 B. 可满足式 C. 合取范式 D. 重言式 反馈
你的回答不正确 正确答案是：可满足式
题目2
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D={a, b, c}，那么谓词公式( )． 选择一项：
A. B. C. D. 反馈 你的回答正确
消去量词后的等值式为
正确答案是：
题目3
正确
获得5.00分中的5.00分 标记题目 题干
设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（选择一项：
A. B.
C.
D. 反馈 你的回答正确 正确答案是：
题目4
正确
获得5.00分中的5.00分 标记题目 题干
谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。
）． 选择一项：
A. x是约束变元，y都是自由变元 B. x是自由变元，y都是约束变元 C. x，y都是自由变元 D. x，y都是约束变元 反馈 你的回答正确
正确答案是：x是约束变元，y都是自由变元
题目5
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域为整数集，则公式的解释可为( 选择一项：
A. 存在一整数x对任意整数y满足x+y=0 B. 对任一整数x存在整数y满足x+y=0 C. 任一整数x对任意整数y满足x+y=0 D. 存在一整数x有整数y满足x+y=0 反馈
你的回答不正确
正确答案是：对任一整数x存在整数y满足x+y=0
)．
题目6
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式成立的为( )． 选择一项：
A.
B. ┐P∧┐QC. P→┐Q
P∨Q ┐P→Q
D. ┐P∧(P∨Q)反馈
你的回答不正确
Q
正确答案是：┐P∧(P∨Q)Q
题目7
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式 ( )为重言式． 选择一项：
A. (┐P∨(P∧Q)) ↔Q
B. Q→(P∨(P∧Q))↔Q →P C. (Q→(P∨Q)) ↔(┐Q∧(P∨Q)) D. ┐P∧┐Q↔P∨Q 反馈
你的回答不正确
正确答案是：Q→(P∨(P∧Q))↔Q →P
题目8
不正确
获得5.00分中的0.00分 标记题目 题干
前提条件的有效结论是( 选择一项：
A. Q B. P C. ┐Q D. ┐P 反馈
你的回答不正确 正确答案是：┐Q
题目9
)．
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域D是整数集合，则命题的真值是（ ）．
选择一项：
A. F B. 不确定
C. 以上说法都不是 D. T 反馈
你的回答不正确 正确答案是：T
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式中 ( )为永真式． 选择一项：
A. ┐A∧┐B ↔ ┐(A∧B) B. ┐A∧┐B ↔A∨B
C. ┐A∧┐B ↔ ┐(A∨B) D. ┐A∧┐B ↔ ┐A∨┐B 反馈
你的回答不正确
正确答案是：┐A∧┐B ↔ ┐(A∨B) 标记题目 信息文本
判断题
题目11
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( 选择一项：
对 错 反馈
正确的答案是“对”。
题目12
正确
获得5.00分中的5.00分 标记题目
) 题干
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式┐P∧(P∨Q)Q成立．选择一项：
对 错 反馈
正确的答案是“对”。
题目14
正确
获得5.00分中的5.00分
( )
标记题目 题干
命题公式P→(Q∨P)的真值是T．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目15
正确
获得5.00分中的5.00分 标记题目 题干
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目16
正确
获得5.00分中的5.00分 标记题目 题干
含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
下面的推理是否正确．( )
(1) (∀x)A(x)→B(x) 前提引入 (2) A(y)→B(y) US (1) 选择一项：
对 错 反馈
正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧(P→┐Q)∨P为永真式．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。 选择一项：
A. x，y都是约束变元
B. x是约束变元，y都是自由变元 C. x是自由变元，y都是约束变元 D. x，y都是自由变元 反馈 你的回答正确
正确答案是：x是约束变元，y都是自由变元
题目2
不正确
获得5.00分中的0.00分 标记题目 题干
表达式( )． 选择一项：
A. B. C. D. 反馈
你的回答不正确 正确答案是：
中的辖域是
题目3
不正确
获得5.00分中的0.00分 标记题目 题干
设个体域为整数集，则公式选择一项：
A. 存在一整数x有整数y满足x+y=0
的解释可为( )．
B. 任一整数x对任意整数y满足x+y=0 C. 对任一整数x存在整数y满足x+y=0 D. 存在一整数x对任意整数y满足x+y=0 反馈
你的回答不正确
正确答案是：对任一整数x存在整数y满足x+y=0
题目4
正确
获得5.00分中的5.00分 标记题目 题干
命题公式 (P∨Q)→R的析取范式是 ( )． 选择一项：
A. (┐P∧┐Q)∨R B. ┐(P∨Q)∨R C. (P∧Q)∨R D. (P∨Q)∨R 反馈 你的回答正确
正确答案是：(┐P∧┐Q)∨R
题目5
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式的主析取范式是( )．
选择一项：
A. B.
C. D. 反馈
你的回答不正确
正确答案是：
题目6
正确
获得5.00分中的5.00分 标记题目 题干
命题公式为( 选择一项：
A. 可满足式 B. 矛盾式
)
C. 重言式 D. 合取范式 反馈 你的回答正确 正确答案是：可满足式
题目7
正确
获得5.00分中的5.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. P→(┐Q→P)B. Q→(P∨Q)C. ┐P∧┐Q┐P→(P→Q) ┐Q∧(P∨Q)
P∨Q
Q
D. ┐P∨(P∧Q)反馈 你的回答正确
正确答案是：P→(┐Q→P)┐P→(P→Q)
题目8
不正确
获得5.00分中的0.00分 标记题目
题干
前提条件选择一项：
A. Q B. ┐Q C. P D. ┐P 反馈
你的回答不正确 正确答案是：┐Q
的有效结论是( )．
题目9
正确
获得5.00分中的5.00分 标记题目 题干
下列等价公式成立的为( )． 选择一项：
A. ┐Q→PB. P∧QC. ┐P∨PD. ┐P∧PP→Q P∨Q Q ┐Q∧Q
反馈 你的回答正确 正确答案是：┐P∧P┐Q∧Q
题目10
不正确
获得5.00分中的0.00分 标记题目 题干
下列公式成立的为( )． 选择一项：
A. P→┐QB. ┐P∧┐QC.
┐P→Q
P∨Q
D. ┐P∧(P∨Q)反馈
你的回答不正确
Q
正确答案是：┐P∧(P∨Q)标记题目 信息文本
Q
判断题
题目11
正确
获得5.00分中的5.00分 标记题目 题干
设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目12
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐(P→Q)的主析取范式是P∨┐Q．( 选择一项：
对 错 反馈
正确的答案是“错”。
题目13
) 正确
获得5.00分中的5.00分 标记题目 题干
设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目14
不正确
获得5.00分中的0.00分 标记题目 题干
命题公式┐P∧(P∨Q)选择一项：
对 错 反馈
正确的答案是“对”。
Q成立． ( )
题目15
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目16
正确
获得5.00分中的5.00分 标记题目 题干
谓词公式┐(∀x)P(x)选择一项：
对 错 反馈
(∃x)┐P(x)成立．( )
正确的答案是“对”。
题目17
正确
获得5.00分中的5.00分 标记题目 题干
谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( ) 选择一项：
对 错 反馈
正确的答案是“对”。
题目18
正确
获得5.00分中的5.00分 标记题目 题干
设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目19
正确
获得5.00分中的5.00分 标记题目 题干
命题公式┐P∧P的真值是T．( ) 选择一项：
对 错 反馈
正确的答案是“错”。
题目20
正确
获得5.00分中的5.00分 标记题目 题干
设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( 选择一项：
对 错 反馈
) 正确的答案是“错”。
因篇幅问题不能全部显示，请点此查看更多更全内容
Copyright © 2019- huatuo0.cn 版权所有 湘ICP备2023017654号-2
违法及侵权请联系：TEL:199 18 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务