在谓词逻辑中，令F(x)表示x是瘦人，G(y)表示y是胖人，L(x，y)表示...

单项选择题在谓词逻辑中，令F(x)表示x是瘦人，G(y)表示y是胖人，L(x，y)表示x比y吃的少，命题“并不是所有的瘦人比所有的胖人吃的少”的符号表示中，( )是正确的。

A．仅Ⅲ
B．Ⅰ和Ⅱ
C．Ⅰ和Ⅲ
D．都不对

1.单项选择题设V＝＜S，·＞，其中·为矩阵乘法，
则下面命题成真的为( )。Ⅰ．V是一个半群Ⅱ．＜T，·＞是V的子独异点Ⅲ．＜T，·＞是V的子半群

A．只有Ⅰ
B．只有Ⅱ
C．Ⅰ和Ⅱ
D．Ⅰ和Ⅲ

2.单项选择题已知图G有11条边，由1个4度顶点，4个3度顶点，其余顶点的度数均小于等于2，则G中至少有( )个顶点。

A．7
B．8
C．9
D．10

3.单项选择题设R⁺为正实数集合，＜R⁺，*＞在下面四种运算下不构成代数系统的是( )。

A．*代表普通加法
B．*代表普通乘法
C．*代表普通除法
D．*代表普通减法

4.单项选择题if p、q and r are Boolean variables, which of the following formulas is (are) autological ( ) Ⅰ. (┐P→q)→(p∨q) Ⅱ. (p→r)∧(┐p→q) ∧┐r

A．none
B．Ⅰ only
C．Ⅱ only
D．Ⅰ and Ⅱ

5.单项选择题设连通图G的顶点数和边数与一立方体相同，即有8个顶点和12条边。任意一棵G的生成树的总边数为( )。

A．10
B．9
C．8
D．7

6.单项选择题设有命题：对于组成元素为集合的集合C，存在函数为f:C→∪C，使得对每一个S∈C，有f(S)∈S。该命题的否命题是( )。

A．对于集合C，对每个函数f:C→∪C，对每一个S∈C，都有f(
S
B．对于集合C，存在函数f:C→∪C，使对每一个S∈C，有f(
S
C．对于集合C，对每一个函数f:C→∪C，存在S∈C，使得f(
S
D．对于集合C，不存在函数f:C→∪C，使对某些S∈C，没有f(
S

7.单项选择题If graph with d={1,1,1,1,2,2,4} as its degree sequence. What is the number of nonisomorphic spanning trees ( )

A．2
B．3
C．4
D．5

8.单项选择题已知5阶有向图G的度数列和入度列分别为(3，3，2，3，3)和(2，1，1，1，2)，则有向图G的出度列为( )。

A．(1，2，1，2，1)
B．(2，2，2，2，0)
C．(2，2，1，2，1)
D．(1，2，0，2，1)

9.单项选择题下面推理中( )是正确的。

A．Ⅰ与Ⅱ
B．Ⅲ与Ⅳ
C．Ⅰ、Ⅱ、Ⅲ
D．只有Ⅰ

10.单项选择题设f:Z→Z，其中Z为整数集，且
则下列命题为真的是( )。

A．f是单射的，但不是满射的
B．f是满射的，但不是单射的
C．f是双射的
D．f既不是单射的，也不是满射的