单项选择题P(n) is the predicate if 2 can'nt divides n 4 can'nt divides n then 8 divides n. What is the truth value of P(12) ( )
A.10
B.0
C.1
D.none of the above
延伸阅读
你可能感兴趣的试题
1.单项选择题在谓词逻辑中,令F(x)表示x是瘦人,G(y)表示y是胖人,L(x,y)表示x比y吃的少,命题“并不是所有的瘦人比所有的胖人吃的少”的符号表示中,( )是正确的。
A.仅Ⅲ
B.Ⅰ和Ⅱ
C.Ⅰ和Ⅲ
D.都不对
2.单项选择题设V=<S,·>,其中·为矩阵乘法,
则下面命题成真的为( )。Ⅰ.V是一个半群Ⅱ.<T,·>是V的子独异点Ⅲ.<T,·>是V的子半群
则下面命题成真的为( )。Ⅰ.V是一个半群Ⅱ.<T,·>是V的子独异点Ⅲ.<T,·>是V的子半群
A.只有Ⅰ
B.只有Ⅱ
C.Ⅰ和Ⅱ
D.Ⅰ和Ⅲ
3.单项选择题已知图G有11条边,由1个4度顶点,4个3度顶点,其余顶点的度数均小于等于2,则G中至少有( )个顶点。
A.7
B.8
C.9
D.10
4.单项选择题设R+为正实数集合,<R+,*>在下面四种运算下不构成代数系统的是( )。
A.*代表普通加法
B.*代表普通乘法
C.*代表普通除法
D.*代表普通减法
5.单项选择题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 Ⅱ
6.单项选择题设连通图G的顶点数和边数与一立方体相同,即有8个顶点和12条边。任意一棵G的生成树的总边数为( )。
A.10
B.9
C.8
D.7
7.单项选择题设有命题:对于组成元素为集合的集合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
8.单项选择题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
9.单项选择题已知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)
10.单项选择题下面推理中( )是正确的。
A.Ⅰ与Ⅱ
B.Ⅲ与Ⅳ
C.Ⅰ、Ⅱ、Ⅲ
D.只有Ⅰ
热门相关试卷
最新相关试卷