1.下列公式成立的为( )
a. pq pq
b. pq pq
c. qp p
d. p(pq)q
2.设命题公式g：，则使公式g取真值为1的p，q，r赋值分别是 (
a. 0, 0, 0
b. 0, 0, 1
c. 0, 1, 0
d. 1, 0, 0
3.命题公式(pq)q为( )
a. 矛盾式。
b. 可满足式。
c. 重言式。
d. 合取范式。
4.下列公式 ( 为重言式．
a. pqpq
b. (q(pq)) q(pq))
c. (p(qp))(p(pq))
d. (p(pq)) q
5.下列公式中 ( 为永真式．
a. ab ab
b. ab (ab)
c. ab ab
d. ab (ab)
6.下列等价公式成立的为( )
a. pp qq
b. qppq
c. pqpq
d. pp q
7.命题公式(pq)q为( )
a. 矛盾式。
b. 可满足式。
c. 重言式。
d. 合取范式。
8.命题公式(pq)r的析取范式是 (
a. (pq)r
b. (pq)r
c. (pq)r
d. (pq)r
9.命题公式的析取范式是( )
a. b.
c. d.
10.命题公式（pq）的合取范式是。
a. （pq）
b. （pq）（pq）
c. （pq）
d. （pq）
11.命题公式pq的主合取范式是()．
a. (pq)pqpq
b. pqc. pq
d. pq12.设p：我将去打球，q：我有时间．命题“我将去打球，仅当我有时间时”符号化为( )
a. b.
c. d.
13.设a（x）：x是人，b（x）：x是学生，则命题“不是所有人都是学生”可符号化为（ ）
a. (x)(a(x)b(x))
b. (x)(a(x)b(x))
c. (x)(a(x)b(x))
d. (x)(a(x)b(x))
148.设a（x）：x是人，b（x）：x是工人，则命题“有人是工人”可符号化为（ ）
a. (x)(a(x)b(x))
b. (x)(a(x)b(x))
c. (x)(a(x)b(x))
d. (x)(a(x)b(x))
15.设c(x)：x是国家级运动员，g(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 (
a. b.
c. d.
16.谓词公式是（ ）
a. 不可满足的。
b. 可满足的。
c. 有效的。
d. 蕴含式。
17.在谓词公式(x)(a(x)→b(x)c(x，y))中，（
a. x，y都是约束变元。
b. x，y都是自由变元。
c. x是约束变元，y是自由变元。
d. x是自由变元，y是约束变元。
18.表达式中的辖域是( )
a. p(x, y)
b. p(x, y)q(z)
c. r(x, y)
d. p(x, y)r(x, y)
19.设个体域d=，那么谓词公式消去量词后的等值式为。
a. (a(a)a(b)a(c))(b(a)b(b)b(b))
b. (a(a)a(b)a(c))(b(a)b(b)b(b))
c. (a(a)a(b)a(c))(b(a)b(b)b(b))
d. (a(a)a(b)a(c))(b(a)b(b)b(b))
20.前提条件的有效结论是( )
a. pb. p
c. qd. q
离散数学形成性考核作业 一
集合论部分。本课程形成性考核作业共4次，内容由 电大确定 统一布置。本次形考作业是第一次作业，大家要认真及时地完成集合论部分的形考作业，字迹工整，抄写题目，解答题有解答过程。第1章集合及其运算。1 用列举法表示 大于2而小于等于9的整数 集合 2 用描述法表示 小于5的非负整数集合 集合 3 写出集...
电大离散数学形成性考核册作业 二 答案
图论部分。本课程形成性考核作业共4次。内容由 电大确定 统一布置。本次形考作业是第二次作业。大家要认真及时地完成图论部分的形考作业。字迹工整。抄写题目。解答题有解答过程。第3章图的基本概念与性质。1 计算出下图2.1的结点数与边数。并说明其满足握手定理 图2.1 习题1的图。2 试分别画出下列图2....
离散数学形成性作业 一
一 单项选择题。1 若集合a 4 则下列表述正确的是 a ab a c ad a 2 设b 3,4,2 那么下列命题中错误的是 a bb 3,4 b c bd b 3 若集合a b 则 a b a，且bab b a，但ba c b a，但bad b a，且ba 4 设集合a 则p a a c 5 设...