设A（x）：x是人，B（x）：x是学生，则命题“有的人是学生”可符号化为（）

单项选择题设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))

1.单项选择题无向图G是棵树，结点数为10，则G的边数是（）

A.5
B.10
C.9
D.12

2.单项选择题已知无向图G的结点度数之和为10，则G的边数为（）。

A.10
B.20
C.30
D.5

3.单项选择题若集合A＝{1，2，3，4}，则下列表述正确的是（）。

A.{1，2}∈A
B.{1，2，3}⊆A
C.{1，2，3}⊃A
D.{1，2，3}∈A

4.判断题完全图K₄不是平面图。（）

5.判断题存在集合A与B，可以使得A∈B与A⊆B同时成立。（）

6.单项选择题命题逻辑演绎的CP规则为（）。

A.在推演过程中可随便使用前提
B.在推演过程中可随便使用前面演绎出的某些公式的逻辑结果
C.如果要演绎出的公式为B→C形式，那么将B作为前提，设法演绎出C
D.设Φ(A)是含公式A的命题公式，，则可用B替换Φ(A)中的A

7.单项选择题下列推理步骤错在（）。

A.①→②
B.②→③
C.③→④
D.④→⑤

8.问答题下列命题相容吗？

9.问答题下列前提下结论是否有效？
今天或者天晴或者下雨。如果天晴，我去看电影；若我去看电影，我就不看书。故我在看书时，说明今天下雨。

10.问答题给定解释Ⅰ：D={2，3}，L（x，y）为L（2，2）=L （3，3）=1，L （2，3）=L （3，2）=0，求谓词合式公式的真值。