资源描述
窗体顶端设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）选择一项：A. B. C. D. 反馈你的回答正确正确答案是：题目2正确获得5.00分中的5.00分标记题目题干命题公式 (PQ)R的析取范式是 ( )选择一项：A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 反馈你的回答正确正确答案是：(PQ)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分标记题目题干命题公式 (PQ) 的合取范式是 ( ) 选择一项：A. (PQ)(PQ) B. (PQ) C. (PQ) D. (PQ) 反馈你的回答不正确正确答案是：(PQ)题目7不正确获得5.00分中的0.00分标记题目题干前提条件的有效结论是( )选择一项：A. P B. Q C. Q D. P 反馈你的回答不正确正确答案是：Q题目8不正确获得5.00分中的0.00分标记题目题干设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )选择一项：A. 1, 0, 0 B. 0, 1, 0 C. 0, 0, 1 D. 0, 0, 0 反馈你的回答不正确正确答案是：1, 0, 0题目9不正确获得5.00分中的0.00分标记题目题干设个体域D是整数集合，则命题的真值是（ ）选择一项：A. T B. 以上说法都不是 C. 不确定 D. F 反馈你的回答不正确正确答案是：T题目10不正确获得5.00分中的0.00分标记题目题干下列等价公式成立的为( )选择一项：A. PPQ B. QPPQ C. PQPQ D. PPQQ 反馈你的回答不正确正确答案是：PPQQ标记题目信息文本判断题题目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的命题公式PQ的主析取范式(PQR)(PQR)( )选择一项：对 错 反馈正确的答案是“对”。题目14不正确获得5.00分中的0.00分标记题目题干设个体域D1,2, 3, 4，A(x)为“x大于5”，则谓词公式(x)A(x)的真值为T( )选择一项：对 错 反馈正确的答案是“错”。题目15不正确获得5.00分中的0.00分标记题目题干命题公式PP的真值是T( )选择一项：对 错 反馈正确的答案是“错”。题目16正确获得5.00分中的5.00分标记题目题干设个体域D1, 2, 3，A(x)为“x小于3”，则谓词公式(x)A(x) 的真值为T( )选择一项：对 错 反馈正确的答案是“对”。题目17正确获得5.00分中的5.00分标记题目题干设P：昨天下雨，Q：今天下雨那么命题“昨天下雨，今天仍然下雨”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目18不正确获得5.00分中的0.00分标记题目题干设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课”为(x)(P(x)Q(x)( )选择一项：对 错 反馈正确的答案是“错”。题目19正确获得5.00分中的5.00分标记题目题干命题公式P(QP)的真值是T( )选择一项：对 错 反馈正确的答案是“对”。题目20正确获得5.00分中的5.00分标记题目题干命题公式P(PQ)Q成立 ( )选择一项：对 错 反馈正确的答案是“对”。窗体底端窗体顶端命题公式的主析取范式是( )选择一项：A. B. C. D. 反馈你的回答正确正确答案是：题目2正确获得5.00分中的5.00分标记题目题干设个体域D=a, b, c，那么谓词公式消去量词后的等值式为( )选择一项：A. B. C. D. 反馈你的回答正确正确答案是：题目3不正确获得5.00分中的0.00分标记题目题干下列等价公式成立的为( )选择一项：A. PQPQ B. P(PQ)Q C. Q(PQ)Q(PQ) D. P(QP)P(PQ) 反馈你的回答不正确正确答案是：P(QP)P(PQ)题目4不正确获得5.00分中的0.00分标记题目题干下列公式成立的为( )选择一项：A. P(PQ)Q B. C. PQPQ D. PQPQ 反馈你的回答不正确正确答案是：P(PQ)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. PQPQ B. (Q(PQ) (Q(PQ) C. (P(PQ) Q D. Q(P(PQ)Q P 反馈你的回答不正确正确答案是：Q(P(PQ)Q P题目7正确获得5.00分中的5.00分标记题目题干设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）选择一项：A. B. C. D. 反馈你的回答正确正确答案是：题目8正确获得5.00分中的5.00分标记题目题干下列公式中 ( )为永真式选择一项：A. AB AB B. AB (AB) C. AB (AB) D. AB AB 反馈你的回答正确正确答案是：AB (AB)题目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点或者去礼堂看电影或者去教室看书” 符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“错”。题目12不正确获得5.00分中的0.00分标记题目题干下面的推理是否正确( )(1) (x)A(x)B(x) 前提引入(2) A(y)B(y) US (1)选择一项：对 错 反馈正确的答案是“错”。题目13正确获得5.00分中的5.00分标记题目题干命题公式(PQ)的主析取范式是PQ( )选择一项：对 错 反馈正确的答案是“错”。题目14不正确获得5.00分中的0.00分标记题目题干设个体域Da, b,那么谓词公式(x)A(x)(y)B(y)消去量词后的等值式为A(a)B(b)( )选择一项：对 错 反馈正确的答案是“错”。题目15正确获得5.00分中的5.00分标记题目题干命题公式P(PQ)P为永真式( )选择一项：对 错 反馈正确的答案是“对”。题目16不正确获得5.00分中的0.00分标记题目题干设P：他生病了，Q：他出差了，R：我同意他不参加学习那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(PQ)R( )选择一项：对 错 反馈正确的答案是“错”。题目17正确获得5.00分中的5.00分标记题目题干设个体域Da, b，则谓词公式(x)(A(x)B(x)消去量词后的等值式为(A(a)B(a)(A(b)B(b)( )选择一项：对 错 反馈正确的答案是“对”。题目18正确获得5.00分中的5.00分标记题目题干设P：小王来学校， Q：他会参加比赛那么命题“如果小王来学校，则他会参加比赛”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目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. PQPQ C. PQPQ D. P(PQ)Q 反馈你的回答不正确正确答案是：P(PQ)Q题目7不正确获得5.00分中的0.00分标记题目题干下列公式 ( )为重言式选择一项：A. (P(PQ) Q B. Q(P(PQ)Q P C. (Q(PQ) (Q(PQ) D. PQPQ 反馈你的回答不正确正确答案是：Q(P(PQ)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. AB (AB) B. AB AB C. AB (AB) D. AB AB 反馈你的回答不正确正确答案是：AB (AB)标记题目信息文本判断题题目11正确获得5.00分中的5.00分标记题目题干设个体域D1, 2, 3，A(x)为“x小于3”，则谓词公式(x)A(x) 的真值为T( )选择一项：对 错 反馈正确的答案是“对”。题目12正确获得5.00分中的5.00分标记题目题干设P：他生病了，Q：他出差了，R：我同意他不参加学习那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(PQ)R( )选择一项：对 错 反馈正确的答案是“错”。题目13不正确获得5.00分中的0.00分标记题目题干命题公式P(PQ)Q成立 ( )选择一项：对 错 反馈正确的答案是“对”。题目14正确获得5.00分中的5.00分标记题目题干命题公式P(QP)的真值是T( )选择一项：对 错 反馈正确的答案是“对”。题目15正确获得5.00分中的5.00分标记题目题干设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“错”。题目16正确获得5.00分中的5.00分标记题目题干含有三个命题变项P，Q，R的命题公式PQ的主析取范式(PQR)(PQR)( )选择一项：对 错 反馈正确的答案是“对”。题目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(PQ)P为永真式( )选择一项：对 错 反馈正确的答案是“对”。题目20正确获得5.00分中的5.00分标记题目题干设个体域Da, b,那么谓词公式(x)A(x)(y)B(y)消去量词后的等值式为A(a)B(b)( )选择一项：对 错 反馈正确的答案是“错”。窗体顶端下列等价公式成立的为( )选择一项：A. PQPQ B. Q(PQ)Q(PQ) C. P(QP)P(PQ) D. P(PQ)Q 反馈你的回答不正确正确答案是：P(QP)P(PQ)题目2不正确获得5.00分中的0.00分标记题目题干设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )选择一项：A. 1, 0, 0 B. 0, 0, 1 C. 0, 1, 0 D. 0, 0, 0 反馈你的回答不正确正确答案是：1, 0, 0题目3正确获得5.00分中的5.00分标记题目题干下列等价公式成立的为( )选择一项：A. QPPQ B. PPQ C. PQPQ D. PPQQ 反馈你的回答正确正确答案是：PPQQ题目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分标记题目题干命题公式 (PQ)R的析取范式是 ( )选择一项：A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 反馈你的回答正确正确答案是：(PQ)R题目8正确获得5.00分中的5.00分标记题目题干命题公式 (PQ) 的合取范式是 ( ) 选择一项：A. (PQ) B. (PQ) C. (PQ) D. (PQ)(PQ) 反馈你的回答正确正确答案是：(PQ)题目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分标记题目题干命题公式PP的真值是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分标记题目题干命题公式(PQ)的主析取范式是PQ( )选择一项：对 错 反馈正确的答案是“错”。题目15正确获得5.00分中的5.00分标记题目题干设个体域D1,2, 3, 4，A(x)为“x大于5”，则谓词公式(x)A(x)的真值为T( )选择一项：对 错 反馈正确的答案是“错”。题目16正确获得5.00分中的5.00分标记题目题干设P：小王来学校， Q：他会参加比赛那么命题“如果小王来学校，则他会参加比赛”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目17正确获得5.00分中的5.00分标记题目题干设个体域Da, b，则谓词公式(x)(A(x)B(x)消去量词后的等值式为(A(a)B(a)(A(b)B(b)( )选择一项：对 错 反馈正确的答案是“对”。题目18正确获得5.00分中的5.00分标记题目题干设P：昨天下雨，Q：今天下雨那么命题“昨天下雨，今天仍然下雨”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目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. PQPQ B. P(PQ)Q C. Q(PQ)Q(PQ) D. P(QP)P(PQ) 反馈你的回答不正确正确答案是：P(QP)P(PQ)题目4不正确获得5.00分中的0.00分标记题目题干下列公式成立的为( )选择一项：A. P(PQ)Q B. C. PQPQ D. PQPQ 反馈你的回答不正确正确答案是：P(PQ)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. PQPQ B. (Q(PQ) (Q(PQ) C. (P(PQ) Q D. Q(P(PQ)Q P 反馈你的回答不正确正确答案是：Q(P(PQ)Q P题目7正确获得5.00分中的5.00分标记题目题干设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）选择一项：A. B. C. D. 反馈你的回答正确正确答案是：题目8正确获得5.00分中的5.00分标记题目题干下列公式中 ( )为永真式选择一项：A. AB AB B. AB (AB) C. AB (AB) D. AB AB 反馈你的回答正确正确答案是：AB (AB)题目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点或者去礼堂看电影或者去教室看书” 符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“错”。题目12不正确获得5.00分中的0.00分标记题目题干下面的推理是否正确( )(1) (x)A(x)B(x) 前提引入(2) A(y)B(y) US (1)选择一项：对 错 反馈正确的答案是“错”。题目13正确获得5.00分中的5.00分标记题目题干命题公式(PQ)的主析取范式是PQ( )选择一项：对 错 反馈正确的答案是“错”。题目14不正确获得5.00分中的0.00分标记题目题干设个体域Da, b,那么谓词公式(x)A(x)(y)B(y)消去量词后的等值式为A(a)B(b)( )选择一项：对 错 反馈正确的答案是“错”。题目15正确获得5.00分中的5.00分标记题目题干命题公式P(PQ)P为永真式( )选择一项：对 错 反馈正确的答案是“对”。题目16不正确获得5.00分中的0.00分标记题目题干设P：他生病了，Q：他出差了，R：我同意他不参加学习那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(PQ)R( )选择一项：对 错 反馈正确的答案是“错”。题目17正确获得5.00分中的5.00分标记题目题干设个体域Da, b，则谓词公式(x)(A(x)B(x)消去量词后的等值式为(A(a)B(a)(A(b)B(b)( )选择一项：对 错 反馈正确的答案是“对”。题目18正确获得5.00分中的5.00分标记题目题干设P：小王来学校， Q：他会参加比赛那么命题“如果小王来学校，则他会参加比赛”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目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. PQPQ C. PQPQ D. P(PQ)Q 反馈你的回答不正确正确答案是：P(PQ)Q题目7不正确获得5.00分中的0.00分标记题目题干下列公式 ( )为重言式选择一项：A. (P(PQ) Q B. Q(P(PQ)Q P C. (Q(PQ) (Q(PQ) D. PQPQ 反馈你的回答不正确正确答案是：Q(P(PQ)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. AB (AB) B. AB AB C. AB (AB) D. AB AB 反馈你的回答不正确正确答案是：AB (AB)标记题目信息文本判断题题目11正确获得5.00分中的5.00分标记题目题干设个体域D1, 2, 3，A(x)为“x小于3”，则谓词公式(x)A(x) 的真值为T( )选择一项：对 错 反馈正确的答案是“对”。题目12正确获得5.00分中的5.00分标记题目题干设P：他生病了，Q：他出差了，R：我同意他不参加学习那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(PQ)R( )选择一项：对 错 反馈正确的答案是“错”。题目13不正确获得5.00分中的0.00分标记题目题干命题公式P(PQ)Q成立 ( )选择一项：对 错 反馈正确的答案是“对”。题目14正确获得5.00分中的5.00分标记题目题干命题公式P(QP)的真值是T( )选择一项：对 错 反馈正确的答案是“对”。题目15正确获得5.00分中的5.00分标记题目题干设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“错”。题目16正确获得5.00分中的5.00分标记题目题干含有三个命题变项P，Q，R的命题公式PQ的主析取范式(PQR)(PQR)( )选择一项：对 错 反馈正确的答案是“对”。题目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(PQ)P为永真式( )选择一项：对 错 反馈正确的答案是“对”。题目20正确获得5.00分中的5.00分标记题目题干设个体域Da, 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分标记题目题干命题公式 (PQ)R的析取范式是 ( )选择一项：A. (PQ)R B. (PQ)R C. (PQ)R D. (PQ)R 反馈你的回答正确正确答案是：(PQ)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(QP)P(PQ) B. Q(PQ)Q(PQ) C. PQPQ D. P(PQ)Q 反馈你的回答正确正确答案是：P(QP)P(PQ)题目8不正确获得5.00分中的0.00分标记题目题干前提条件的有效结论是( )选择一项：A. Q B. Q C. P D. P 反馈你的回答不正确正确答案是：Q题目9正确获得5.00分中的5.00分标记题目题干下列等价公式成立的为( )选择一项：A. QPPQ B. PQPQ C. PPQ D. PPQQ 反馈你的回答正确正确答案是：PPQQ题目10不正确获得5.00分中的0.00分标记题目题干下列公式成立的为( )选择一项：A. PQPQ B. PQPQ C. D. P(PQ)Q 反馈你的回答不正确正确答案是：P(PQ)Q标记题目信息文本判断题题目11正确获得5.00分中的5.00分标记题目题干设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“错”。题目12正确获得5.00分中的5.00分标记题目题干命题公式(PQ)的主析取范式是PQ( )选择一项：对 错 反馈正确的答案是“错”。题目13正确获得5.00分中的5.00分标记题目题干设P：小王来学校， Q：他会参加比赛那么命题“如果小王来学校，则他会参加比赛”符号化的结果为PQ( )选择一项：对 错 反馈正确的答案是“对”。题目14不正确获得5.00分中的0.00分标记题目题干命题公式P(PQ)Q成立 ( )选择一项：对 错 反馈正确的答案是“对”。题目15正确获得5.00分中的5.00分标记题目题干设个体域Da, 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：我同意他不参加学习那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(PQ)R( )选择一项：对 错 反馈正确的答案是“错”。题目19正确获得5.00分中的5.00分标记题目题干命题公式PP的真值是T( )选择一项：对 错 反馈正确的答案是“错”。题目20正确获得5.00分中的5.00分标记题目题干设个体域D1,2, 3, 4，A(x)为“x大于5”，则谓词公式(x)A(x)的真值为T( )选择一项：对 错 反馈正确的答案是“错”。窗体底端
展开阅读全文