5.设A(x):x是人，B(x):x是学生，则命题“不是所有人都是学生”可符号化为(). A.(Vx)(A(x)∧B(x) B.(3)(A(x)AB(x)) C.(Hx)(A(x)→B(x) D.(3x)(A(x)∧B(x) 得分 评卷人 二、填空题（每小题3分，本题共15分）】 6.若集合A的元素个数为10，则其幂集的元素个数为 7.设A={a,b,c},B={1,2},作f:A→B,则不同的函数个数为 8.若A={1,2},R={<x,y>|x∈A,y∈A,x+y=10},则R的自反闭包为 9,结点数v与边数e满足 关系的无向连通图就是树： 10.设个体域D={a,b,c},则谓词公式(Hx)A(x)消去量词后的等值式为 得分 评卷人 三、逻辑公式翻译（每小题6分，本题共12分） 11.将语句“尽管他接受了这个任务，但他没有完成好.”翻译成命题公式 12.将语句“今天没有下雨.”翻译成命题公式. 得 分 评卷人 四、判断说明题（每小题7分，本题共14分） 判断下列各题正误，并说明理由. 13.下面的推理是否正确，试予以说明 (1)(Hx)F(x)→G(x) 前提引入 (2)F(y)→G(y) US(1). 675.设 A(x) :x是人 ，B(二):x是学生，则命题“不是所有人都是学生”可符号化为( A.('d x) (A(x)八B(x)) C.，(b' x) (A (x)一B(x)) B.，(日x)(A(x)八B(x)) D.，(3 x) (A (x) A ，B(x)) 得 分 评卷人 二、填空题 (每小题 3分，本题共 15分) 6.若集合 A 的元素个数为 10，则其幂集的元素个数为 7.设A={a,b,c},B={1,2}，作 f:A-B，则不同的函数个数为 8.若人二{1,2},R={<x, y> I xC-A, yEA, x+y=10}，则R的自反闭包为 9.结点数 v与边数 。满足 关系的无向连通图就是树. 10.设个 体 域 D = { a, b, c }，则 谓 词 公 式 (dx) A (x)消 去 量 词 后 的 等 值 式 为 得 分 评卷人 三、逻辑公式翻译(每小题 6分 ，本题共 12分) 将语句“尽管他接受 了这个任务，但他没有完成好.”翻译成命题公式. 将语句“今天没有下雨.”翻译成命题公式. l es ， 白 ，. J ll l 得 分 评卷人 四、判断说明题 (每小题 7分 ，本题共 14分) 判断下列各题正误 ，并说明理 由. 13.下面的推理是否正确 ，试予以说明. (1)(d x)F(x)一 G(x) (2) F(y)-G(y) 前提引人 LTS(1)