信息文本 单项选择题 题干 命题公式的主合取范式是( )． 选择一项： A. B. C. D. 你的回答正确 正确答案：： 题干 谓词公式(x)(A(x)→B(x)∨C(x，y))中的约束变元为（ ）。 选择一项： A. x是自由变元，y都是约束变元 B. x，y都是自由变元 C. x是约束变元，y...

信息文本 单项选择题 题干 表达式中的辖域是( )． 选择一项： A. B. C. D. 你的回答正确 正确答案：： 题干 设A（x）：x是人，B（x）：x是教师，则命题“有人是教师”可符号化为（ ）． 选择一项： A. B. C. D. 你的回答正确 正确答案：： 题干 设A（x）：x是...

信息文本 单项选择题 题干 命题公式为( ) 选择一项： A. 矛盾式 B. 可满足式 C. 重言式 D. 合取范式 你的回答不正确 正确答案：：可满足式 题干 命题公式的析取范式是( )． 选择一项： A. B. C. D. 你的回答正确 正确答案：： 题干 设A（x）：x是书，B（x）：...

信息文本 单项选择题 题干 下列公式成立的为( )． 选择一项： A. B. C. D. 你的回答不正确 正确答案：： 题干 设个体域D是整数集合，则命题的真值是（ ）． 选择一项： A. 以上说法都不是 B. F C. 不确定 D. T 你的回答正确 正确答案：：T 题干 谓词公式(x)(A...

信息文本 单项选择题 题干 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )． 选择一项： A. B. C. D. 你的回答正确 正确答案：： 题干 下列等价公式成立的为( )． 选择一项： A. ┐Q→PP→Q B. ┐P∧P┐Q∧Q C. P∧QP∨Q D....

信息文本 单项选择题 题干 命题公式 (P∨→Q)→R的析取范式是 ( )． 选择一项： A. ┐(P∨Q)∨R B. (┐P∧┐Q)∨R C. (P∨Q)∨R D. (P∧Q)∨R 你的回答正确 正确答案：：(┐P∧┐Q)∨R 题干 表达式中的辖域是( )． 选择一项： A. B. C. D. 你的回答正确 正确...

信息文本 单项选择题 题干 谓词公式(x)(A(x)→B(x)∨C(x，y))中的约束变元为（ ）。 选择一项： A. x是约束变元，y都是自由变元 B. x，y都是约束变元 C. x，y都是自由变元 D. x是自由变元，y都是约束变元 你的回答正确 正确答案：：x是约束变元，y都是自由变...

信息文本 单项选择题 题干 命题公式 (P∨→Q)→R的析取范式是 ( )． 选择一项： A. (┐P∧┐Q)∨R B. (P∧Q)∨R C. ┐(P∨Q)∨R D. (P∨Q)∨R 你的回答正确 正确答案：：(┐P∧┐Q)∨R 题干 设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时...

信息文本 单项选择题 题干 设无向图G的邻接矩阵为 ， 则G的边数为( )． 选择一项： A. 6 B. 7 C. 14 D. 1 你的回答正确 正确答案：：7 题干 无向图G存在欧拉回路，当且仅当（ ）． 选择一项： A. G连通且至多有两个奇数度结点 B. G中所有结点的度数全为偶数 C...

信息文本 单项选择题 题干 设集合A = {1, a }，则P(A) = ( )． 选择一项： A. {{1}, {a}} B. {,{1}, {a}, {1, a }} C. {{1}, {a}, {1, a }} D. {,{1}, {a}} 你的回答正确 正确答案：：{,{1}, {a}, {1, a }} 题干 如果R1和R2是A上的自反关系，则R1∪R2，R1∩R2...