离散数学（本）形考任务3答案.doc
(166 KB, 下载次数: 76, 售价: 4.00 元)
题目顺序是随机的，请使用查找功能（Ctrl+F）进行搜索答案。 单项选择题 题目：设个体域D是整数集合，则命题的真值是（ ）． 选择一项： A. 不确定 B. F C. 以上说法都不是 D. T 题目：下列公式 ( )为重言式． 选择一项： A. (Q→(P∨Q)) ↔(┐Q∧(P∨Q)) B. ┐P∧┐Q↔P∨Q C. (┐P∨(P∧Q)) ↔Q D. Q→(P∨(P∧Q))↔Q →P 题目：下列等价公式成立的为( )． 选择一项： A. ┐P∨PQ B. ┐P∧P┐Q∧Q C. P∧QP∨Q D. ┐Q→PP→Q 题目：设个体域D={a, b, c}，那么谓词公式消去量词后的等值式为( )． 选择一项： A. B. C. D. 题目：命题公式的主合取范式是( )． 选择一项： A. B. C. D. 题目：设个体域为整数集，则公式的解释可为( )． 选择一项： A. 任一整数x对任意整数y满足x+y=0 B. 对任一整数x存在整数y满足x+y=0 C. 存在一整数x对任意整数y满足x+y=0 D. 存在一整数x有整数y满足x+y=0 题目：表达式中的辖域是( )． 选择一项： A. B. C. D. 题目：下列公式中 ( )为永真式． 选择一项： A. ┐A∧┐B ↔ ┐(A∨B) B. ┐A∧┐B ↔A∨B C. ┐A∧┐B ↔ ┐(A∧B) D. ┐A∧┐B ↔ ┐A∨┐B 题目：命题公式为( ) 选择一项： A. 矛盾式 B. 重言式 C. 合取范式 D. 可满足式 题目：下列公式成立的为( )． 选择一项： A. P→┐Q┐P→Q B. ┐P∧(P∨Q)Q C. ┐P∧┐QP∨Q D. 题目：命题公式的主析取范式是( )． 选择一项： A. B. C. D. 题目：设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )． 选择一项： A. 0, 0, 1 B. 0, 0, 0 C. 1, 0, 0 D. 0, 1, 0 题目：设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． 选择一项： A. B. C. D. 题目：谓词公式(x)(A(x)→B(x)∨C(x，y))中的（ ）。 选择一项： A. x，y都是约束变元 B. x是约束变元，y都是自由变元 C. x是自由变元，y都是约束变元 D. x，y都是自由变元 题目：命题公式 (P∨Q) 的合取范式是 ( ) ． 选择一项： A. (P∧Q)∨(P∨Q) B. ┐(┐P∧┐Q) C. (P∧Q) D. (P∨Q) 题目：前提条件的有效结论是( )． 选择一项： A. ┐P B. ┐Q C. P D. Q 题目：命题公式 (P∨Q)→R的析取范式是 ( )． 选择一项： A. (P∧Q)∨R B. (┐P∧┐Q)∨R C. ┐(P∨Q)∨R D. (P∨Q)∨R 题目：设A（x）：x是书，B（x）：x是数学书，则命题“不是所有书都是数学书”可符号化为（ ）． 选择一项： A. B. C. D. 题目：设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）． 选择一项： A. B. C. D.
判断题 题目：下面的推理是否正确．( ) (1) (∀x)A(x)→B(x) 前提引入
(2) A(y)→B(y) US (1) 选择一项： 对 错 题目：设个体域D＝{1, 2, 3}，A(x)为“x小于3”，则谓词公式(∃x)A(x) 的真值为T．( ) 选择一项： 对 错 题目：命题公式┐P∧P的真值是T．( ) 选择一项： 对 错 题目：设P：小王来学校， Q：他会参加比赛．那么命题“如果小王来学校，则他会参加比赛”符号化的结果为P→Q．( ) 选择一项： 对 错 题目：设P：我们下午2点去礼堂看电影，Q：我们下午2点去教室看书．那么命题“我们下午2点或者去礼堂看电影或者去教室看书” 符号化的结果为P∨Q．( ) 选择一项： 对 错 题目：谓词公式┐(∀x)P(x)(∃x)┐P(x)成立．( ) 选择一项： 对 错 题目：设P：他生病了，Q：他出差了，R：我同意他不参加学习．那么命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P∨Q)→┐R．( ) 选择一项： 对 错 题目：设P：昨天下雨，Q：今天下雨．那么命题“昨天下雨，今天仍然下雨”符号化的结果为P∧Q．( ) 选择一项： 对 错 题目：设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( ) 选择一项： 对 错 题目：命题公式┐P∧(P∨Q)Q成立． ( ) 选择一项： 对 错 题目：设个体域D＝{a, b}，则谓词公式(∀x)(A(x)∧B(x))消去量词后的等值式为(A(a)∧B(a))∧(A(b)∧B(b))．( ) 选择一项： 对 错 题目：命题公式P→(Q∨P)的真值是T．( ) 选择一项： 对 错 题目：命题公式┐P∧(P→┐Q)∨P为永真式．( ) 选择一项： 对 错 题目：谓词命题公式(∀x)((A(x)∧B(x))∨C(y))中的自由变元为x．( ) 选择一项： 对 错 题目：含有三个命题变项P，Q，R的命题公式P∧Q的主析取范式(P∧Q∧R)∨(P∧Q∧┐R)．( ) 选择一项： 对 错 题目：设个体域D＝{1,2, 3, 4}，A(x)为“x大于5”，则谓词公式(∀x)A(x)的真值为T．( ) 选择一项： 对 错 题目：设P(x)：x是人，Q(x)：x去上课，那么命题“有人去上课．”为(∃x)(P(x)→Q(x))．( ) 选择一项： 对 错 题目：命题公式┐(P→Q)的主析取范式是P∨┐Q．( ) 选择一项： 对 错 题目：设个体域D＝{a, b},那么谓词公式(∃x)A(x)∨(∀y)B(y)消去量词后的等值式为A(a)∨B(b)．( ) 选择一项： 对 错 题目：设P(x)：x是人，Q(x)：x学习努力，那么命题“所有的人都学习努力．”为(∀x)(P(x)∧Q(x))．( ) 选择一项： 对 错 题目：谓词命题公式(∀x)(P(x)→Q(x)∨R(x，y))中的约束变元为x．( ) 选择一项： 对 错
| 
发表于 2020-10-11 10:56:57
