- 令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可以符号化为( )
A. p∧¬q
B. p∧q
C. p∨¬q
D. p→¬q
A
- 设P(x):x是鸟,Q(x):x会飞,命题“有的鸟不会飞”可符号化为( )
A. ¬(∀x) ( p(x) →Q(x) )
B. ¬(∀x) ( p(x) ∧ Q(x) )
C. ¬(∃x) ( p(x) →Q(x) )
D. ¬(∃x) ( p(x) ∧ Q(x) )
A
有的鸟不会飞,即可译为不是所有鸟都会飞
在全称量词∀后面用→联接词
在存在连词∃后面用 ∧ 联接词
- 设p(x):x是整数,f(x):x的绝对值,L(x,y):x大于等于y;命题“所有整数的绝对值大于等于0”可以符号为( )
A. ∀x( p(x) ∧ L(f(x),0) )
B. ∀x( p(x)→L(f(x),0) )
C. ∀xp(x) ∧ L(f(x),0)
D. ∀xp(x)→L(f(x),0)
B
所有整数的绝对值大于等于0,用到的为全称量词∀,整个命题应该是同一个x,在全称量词∀后面用→联接词,所以整个命题可符号为∀x( p(x)→L(f(x),0) )
- 设F(x):x是人,G(x):x犯错误,命题“没有不犯错误的人”符号为( )
A. ∀x( F(x) ∧ G(x) )
B. ¬∃x( F(x) →¬G(x) )
C. ¬∃x( F(x) ∧ G(x) )
D. ¬∃x( F(x) ∧ ¬G(x) )
D
A和B的联接词使用错误
D,不存在人不犯错误
- 下列命题公式不是永真式的是( A )
A. (p→q)→p
B. p→(q→p)
C. ¬p∨(q→p)
D. (p→q)∨p
- 设R(x):x为有理数;Q(x):x为实数。命题“任何有理数都是实数”的符号化为 ( C )
A.(彐x) ( (R(x)∧Q(x) )
B.(∀x)( (R(x)∧Q(x) )
C.(∀x)( (R(x)→Q(x) )
D.彐x( R(x)→Q(x) ) - 设个体域D={a,b},与公式∀xA(x)等价的命题公式是 ( A )
A. A(a)∧A(b)
B. A(a)→A(b)
C. A(a) ∨ A(b)
D. A(b)→A(a)
已知个体域,消去量词,∀xA(x)中有全称量词,则把所有x的取值全列出来
应该为A(a)∧A(b)
- 下列等价式不正确的是( A )
A. ∀x( (P(x) ∨ Q(x) ) ⇔ ∀xP(x) ∨ ∀xQ(x)
B. ∀x(P(x) ∧ Q(x)) ⇔ ∀xP(x) ∧ ∀xQ(x)
C. ∃x(P(x) ∨ Q(x) ) ⇔ ∃xP(x) ∨ ∃xQ(x)
D. ∀x(P(x)∧Q) ⇔ ∀xP(x)∧Q
A
- 设个体域D={a,b},与公式彐xA(x)等价的命题公式是( C )
A.A(a) ∧A(b
B.A(a)→A(b)
C. A(a) ∨ A(b)
A(b)→A(a) - 设X={Ø,{a}{a,Ø}},则下列陈述正确的是(
A. a∈X
B. {a,Ø}⊆X
C. {{a,Ø}}⊆X
D. {Ø}∈X
C
元素与集合的关系用属于
集合与集合的关系用包含
A中用的是属于,但a不是X的元素,因为需要把整个集合{a}看成X的 一个元素
B用的是属于,说明得把{a,Ø}看成一个集合,a和Ø都得是X的元素,a不是X的元素,所以不正确,也可解释作{a,Ø}只是X的一个元素,并不是指一个集合
C正确,有两重括号,第一个括号内的{a,Ø}就是X的一个元素,{{a,Ø}}就是X的一个子集
D中用的是属于,说明整个{Ø}被看成是一个元素,但X中只有Ø而没有{Ø}
- 有向图D是连通图,当且仅当( D )
A. 图D中至少有一条通路
B. 图D中有通过每个顶点至少一次的通路
C. 图D的连通分支数为一
D. 图D中有通过每个顶点至少一次的回路
D
这里的连通图应该指的是强连通图
对C要特别注意一下,有第一章的命题逻辑我们知道“当且仅当”指的是充要条件,连通图的连通分支数确实为一,但连通分支数为一的并不代表是连通图,所以C是错的
- 设A={a,b,c},则下列是集合A的划分的是 ( B)
A. {{b,c},{c}}
B. {{a},{b,c}}
C. {{a,b},{a,c}}
D. {{a,b},c}
B
我们可以知道π是一个子集族,里面都应该是子集,D错误
然后每个子集不能有重复的元素,AC错误
- 下列谓词公式中是前束范式的是( D )
A. ∀xF(x)∧¬(∃x)G©
B. ∀xP(x) ∧ ∀yG( y)
C. ∀x(P(x)→∃yQ(x,y)
D. ∀x∃y(P(x)→Q(x,y))
D
前束范式就是所有的量词都在前面
- 设M={x | f1(x)=0},N={x | f2(x)=0},则方程f1(x)*f2(x)=0的解为( B )
A. M∩N
B. M∪N
C. M⊕N
C. M-N
f1(x)*f2(x)=0只有=要有一个为0 其结果就为0
显然是M和N的并集
在数学中,群表示一个拥有满足封闭性、满足结合律、有单位元、有逆元的二元运算的代数结构,包括阿贝尔群、同态和共轭类。
设G是一个群,则
- G满足消去律(左消去和右消去),即∀a,b,c∈G,若ab=ac,则b = c
- 任意一个元素的逆元的逆元是其本身,A 正确
- (ab)^-1 = b ^-1 * a ^-1, C错误
其余请看群的详细介绍
- 在整数集合Z上,下列定义的运算满足结合律的是( )
A. ab=b+1
B. ab=a-1
C. ab=ab-1
D. ab=a+b+1
D
如果满足结合律,则(a*b)*c=a*(b*c)
- 设简单图G所有的结点的度数之和为50,则G的边数为( )
A. 50
B. 25
C. 10
D. 5
B
既不含平行边也不含环的图为简单图
由握手定理:度数之和为变数的2倍,变数为25
- 设简单无向图G是一个有5个顶点的4-正则图,则G有( )条边。
A. 4
B. 5
C. 10
D. 20
C
正则图是指各顶点的度均相同的无向简单图
有题意,度数之和为5*4=20,边数=20 / 2 = 10
- 设集合A={1,2,3,4},A上的等价关系R= {<1,1>, <.3,2>,<2,3>,<4,4>} U IA (恒等关系),则对应于R的划分是( )
A. { {1},{2,3},{4} }
B. { {1,3},{2,4} }
C. { {1,3},{2},{4} }
D. { {1},{2},{3},{4} }
A
IA表示恒等关系,设A={a,b,c},则其上关系R={<a,a>,<b,b>,<c,c>},R便是恒等关系
本题中IA中应该是补齐<2,2><3,3>,2和3应该被分到了另外一块,应该选A
D
在数学中,若对某个集合的成员进行一种运算,生成的仍然是这个集合的元素,则该集合被称为在这个运算下闭合。
比较最大数,得到的结果还是在A中
比较最小数,结果还是在A中
最大公约数,1和10的最大公约数为1,L为任意数字,与其他的数求最大公约数,都可以在1,2,10,L中取得
若L为3,3和10 的最小公倍数为30,不在A中,D不是封闭的
C
先看看满射,单射和双射的定义
F的关系是一一对应的,满足单射,但f的值域中没有d,不满足满射的条件
B
割点和割边指拿掉某个点或某些边,连通分支数增加
割点集和桥指拿掉某些点或某条边,连通分支数增加
D
经过图的每一条边且仅一次并且行遍图中的每个顶点的回路(通路),称为欧拉回路(欧拉通路),存在欧拉回路的图,称为欧拉图
无向图G有欧拉回路当且仅当G是连通图且无奇度顶点
只有欧拉通路当且仅当图G恰有2个奇度顶点,这两个点为欧拉通路的端点
A
叶子结点度数只有1,显然不对
其余都是树的等价条件
A
幂集的个数为2^n
C
握手定理的推论:任何图中的度数为奇数的顶点的个数为偶数
可以排除A和D
对B选项,总共有6个点,有两个度数为5的点,而度数为5说明它与其他顶点都相连,反过来其它每个点都会与这两个点相连,度数不可能小于2,B错误
欧拉图中没有奇度顶点,排除A,C
哈密顿图中任意两个不相邻的顶点度数之和>=n-1
D中选择右边的两个度数为2的顶点,度数之和为4<6,D不存在哈密顿回路
C
共有6*3=18度
边数=度数之和 / 2 = 9
B
自反是全部顶点都有自环
反自反是全部顶点都没有自环
对称是顶点之间有边的话,全是双向边
反对称是顶点之间有边的话,全单向边
B
R2是将R1的单向边补成了双向边,应该是对称闭包
D
f(x)中x与y并不是一一对应,所以不是单射,f(x)的最大值6,并不是实数集R,不是满射
C
A,B,D中都有奇度顶点,无法构成欧拉图
二. 填空题
- 命题公式¬(p→q)的成真赋值_____,成假赋值____.
真:1 0 , 假: 0 0, 0 1, 1 1.
- 命题公式(p ∨ q)→p的成真赋值____,成假赋值____.
真:0 0, 0 1 , 1 1. 假:1 0.
- 命题公式p→(p∧q)的成真赋值____,成假赋值_____.
真:00,01,11,假:10
- 公式( ∀x)( ∀x)( P(y)→Q(x,z) ) ∧ (∃y)R(x,y)约束变元为____,自由变元为____.
x,y x,z
对左边部分 ∀x ∀y说明x,y是约束出现的,z是自由的
对右边∃y说明y是约束的,x是自由的
- 公式 ∀x(P(x) ∨ ∃yR(x) )→Q(x,z)约束变元为____,自由变元为_____.
约束: x,y
自由: x,z
- 设A = {a,b,{a,b} }, B={a,b},则B-A=____,A⊕B=_____.
B-A=Ø
A⊕B={ {a,b} }
- 设A={1,2,3},A上的关系R={<1,2>,<2,1>},则对称闭包s( R ) = ______,传递闭包t( R )= _____。
s( R ) = {<1,2>,<2,1>} //本身就是双向边,无需改动
t( R )={<1,2>,<2,1>,<1,1>,<2,2>} //<1,2><2,1>添加<1,1>,同时也可以看成<2,1>,<1,2>要添加<2,2>
- 设A={a,b,{a,b} },B= {a,b,c},则A⊕A= ______,A⊕B=______.
则A⊕A=Ø
A⊕B={{a,b},c}
- 一颗无向树的顶点数n与边数m的关系是____,6阶无向连通图至多有____颗不同的生成树。
m = n-1
6颗
- 设f(x)=x-1,g(x)=x^2,则复合函数(f g)(x)=_____,(g f)(x) =____.
统一规定为右复合
(f g)(x) = g(f(x))=(x-1)^2
(g f)(x) =f(g(x))=x^2-1
合成
R°S={<zx,z>|∃y<x,y>∈R∧∃z<y,z>∈S}
- 一颗无向树的顶点数n与边数m的关系是_____,设G是具有8个顶点的数,则G增加____条边才能把G变成完全图。
m =n-1
21条
无向完全图 边数m = (n*(n-1))/2
有向完全图 边数m = (n*(n-1))
总边数m = 8*7/2=28,树G有7条边
增加28-7=21条
三、 计算题
2.
- 一棵(无向)树有2结点的度为2,1个结点的度为3,3个结点的度为4,其余都是叶结点,问该树有几个叶结点?
在一个有限图中,各节点的度数总和是边数的2倍,而树中边数为节点数-1
设有x个叶子节点,先求出度数之和,d=2* 2 +1* 3 + 3*4+x;
d=19+x
顶点数:n = 2+1+3+x=6+x
边数: m=n-1 = 5+x
d=2m
19+x=10+2x
x=9
有9个叶节点
- 一颗无向树T有5片树叶,3个2度分支点,其余的分支点都是3度顶点,问T有几个顶点
设其余3度顶点有x个
总度数d=5* 1 + 3* 2 + 3*x =11+3x
顶点数: n=5+3+x =8+x
对与无向树,边数: m=n-1 =7+x
d=2m
11+3x = 14+2x
x=3
顶点数为11