填空题
设个体域D＝{1，2，3，4}，则谓词公式（∀x）A（x）消去量词后的等值式为（）。
A(1)∧A(2)∧A(3)∧A(4)
填空题 设G是有10个结点的连通图，边数为20，则可从G中删去（）条边后使之变成树。
填空题 设无向图G中存在欧拉路，则G的奇数度数的结点数为（）。
单项选择题 设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为（）
