Minimind/ceval/ceval-exam/test/discrete_mathematics_test.csv
2024-08-28 16:41:44 +08:00

32 KiB
Raw Blame History

1idquestionABCD
20在代数系统中整环和域的关系是____整环一定是域域不一定是整环域一定是整环域一定不是整环
31下列公式与$\left(\forall x\right)\left(\left(\exists y\right)P\left(y\right)\rightarrow Q\left(x\right)\right)$等值的是____$(\forall\:x)\:(\exists\:y)\:(\mathsf{P}\:(y)\:\rightarrow\:\mathsf{Q}\:(x)\:)$$\left(\forall x\right)\left(\forall y\right)\left(\neg\mathsf{P}\left(y\right)\:\rightarrow\:\mathsf{Q}\left(x\right)\right)$$\left(\forall x\right)\left(\neg\mathtt{Q}\left(x\right)\ \rightarrow\ \left(\forall y\right)\neg\mathtt{P}\left(y\right)\right)$$\left(\exists y\right)\mathsf{P}\left(y\right)\:\rightarrow\:\left(\:\forall x\right)\mathsf{Q}\left(x\right)$
42一个连通图G具有以下____条件时能一笔画出即从某结点出发经过图中每边仅一次回到该结点。G 没有奇数度结点G 有一个奇数度结点G有2个奇数度结点G没有或有2个奇数度结点
53公式$\neg p\rightarrow(q\rightarrow r)$与____等值。$q\rightarrow(p\lor r)$$(p\wedge q)\rightarrow r$$(p\rightarrow r)\lor(q\rightarrow r)$$p\rightarrow\left(q\lor r\right)$
64具有7个结点的所有非同构的树有____个。7111214
75若一个平面图G是面4可着色的则其对偶图G*一定满足_____点4可着色面4可着色有H回路有欧拉回路
86下列公式中____不是永真式:$\neg p\rightarrow(p\rightarrow q)$$p\rightarrow(\neg p\rightarrow q)$$\big(p\to\big(q\lor(p\to q)\big)\big)\land\neg q$$\big(p\to\big(q\lor(p\to q)\big)\big)\lor\neg q$
97令$P$:今天下雪了,$Q$:路滑则命题“虽然今天下雪了但是路不滑”可符号化为____$P\rightarrow\neg Q$$P \lor \neg Q$$\textit{P}\wedge Q$$\textit{P}\wedge \neg Q$
108以下性质不一定正确的是____$A=B\Leftrightarrow P(A)=P(B)$$A\subseteq B\Leftrightarrow P(A)\subseteq P(B)$$P(A)\in P(B)\Leftrightarrow A\in B$$(A-B)\oplus(A-C)=\Phi\Leftrightarrow A-B=A-C$
119设个体域为$\{-1,1\}$,并对$\mathsf{P}\left(x,y\right)$设定为$\mathsf{P}\left(-1,-1\right)\mathsf{=T}$,$\mathsf{P}\left(-1,1\right)\mathsf{=F}$,$\mathsf{P}(1,-1)\mathsf{=T}$,$\mathtt{P}\left(1,1\right)\mathtt{=F}$,其真值为$\textbf{T}$的公式为____$(\forall x)\left(\exists y\right)\mathsf{P}\left(x,y\right)$$(\exists x)(\forall y)\mathsf{P}(x,y)$$(\forall x)(\forall y)P(x,y)$$(\forall y)(\exists x)P(x,y)$
1210$R$是集合$A$上的二元关系下面____说法是错误的。$tsr(R)=trs(R)$$rts(R)=tsr(R)$$str(R)=rts(R)$$rts(R)=trs(R)$
1311以22331111为顶点度数列的所有非同构的无向树的个数为____。4567
1412已知5阶有向图G的度数列和入度列分别为(33233)和(21112)则有向图G的出度列为____。(12121)(22220)(22121)(12021)
1513令$F(x)$"x是金属"$G(y)$"y是液体"$H(x,y)$"x可以溶解在y中"则命题“任何金属可以溶解在某种液体中”可符号化为下列哪项____$(\forall x)(F(x)\land(\exists y)(G(y)\land H(x,y)))$$(\forall x)(\exists(x)F(x)\rightarrow(G(y)\rightarrow H(x,y)))$$(\forall x)(F(x)\rightarrow(\exists y)(G(y)\land H(x,y)))$$(\forall x)(F(x)\rightarrow(\exists y)(G(y)\rightarrow H(x,y))$
1614A,B为任意集合以下____不一定正确${P}({A})\cup P(B)=P(A\cup B)$${P}({A})\cap P(B)=P(A\cap B)$${P}({A})\in P(B)\Rightarrow P(A\in B)$${P}({A})\subseteq P(B)\Rightarrow P(A\subseteq B)$
1715$P(P(P(\Phi)))$为____$\{\{\Phi\},\{\Phi,\{\Phi\}\}\}$$\{\Phi,\{\Phi,\{\Phi\}\},\{\Phi\}\}$$\{\Phi,\{\Phi,\{\Phi\}\},\{\Phi\},\{\{\Phi\}\}\}$$\{\Phi,\{\Phi,\{\Phi\}\}\}$
1816设p:我很累q:我去学习,命题:“除非我很累否则我就去学习”的符号化正确的是____$\neg p\wedge q$$\neg p\rightarrow q$$\neg p\rightarrow\neg q$$ p\rightarrow\neg q$
1917任意一条链都是____分配格有补格有界格有界分配格
2018下列选项中关于大项和小项的说法错误的是____每个小项有一个成真赋值有2n-1种成假赋值任意两个不同大项的合取式为矛盾式全体小项的析取式为重言式每个大项的成假赋值均不相同
2119$f\colon N\rightarrow N\quad\text{}$,且对任意$i\:\in\:N$有$f(i)=i(\text{mod}\ 6)$,则$\mathcal{f}$是____单射满射双射以上都不对
2220已知图G中有11条边1个4度顶点4个3度顶点其余顶点的度数均不大于2则G中至少有____个顶点。9876
2321假设$A\subseteq B$以下____不一定成立$\cup A\subseteq\cup B$$\cap A\subseteq\cap B$$P(A)\subseteq P(B)$$A-B\subseteq B-A$
2422含n个命题变元的任一命题公式的指派个数是____nn^22n22n
2523使得$(q\wedge(p\rightarrow q))\rightarrow p$的真值为$\mathsf{F}$的是下列情形____$(p,q)=(F,F)$$(p,q)=(F,T)$$(p,q)=(T,F)$$(p,q)=(T,T)$
2624下列说法错误的是____\textbf{K}_5 是结点数最小的非平面图;\textbf{K}_5去掉任意一条边所形成的图仍是$K^{(2)}$型子图;\textbf{K}_5 中不存在 K2型子图在\textbf{K}_5的边上任意加一个度为2的结点 所形成的新图具有 K 型子图。
2725公式$(p\uparrow q)\downarrow(p\uparrow q)$与____等值。$p\lor q$$p\wedge q$${p\rightarrow q}$$p\leftrightarrow q$
2826$(\forall x)(P(x)\rightarrow(\exists y)Q(x,y))$的前束范式为____$(\forall x)(\exists y)(\neg P(x)\lor Q(x,y))$$(\forall x)(\exists y)(P(x)\lor Q(x,y))$$(\forall x)(\exists y)(\neg P(x)\wedge Q(x,y))$$(\exists x)(\exists y)(\neg P(x)\wedge Q(x,y))$
2927下列说法错误的是____给定\mathbf{G}_{1}的某个子图$\mathbf{H}$,如果在\mathbf{G}_{2}中找不到与H同构的子图则\mathbf{G}_{1}和\mathbf{G}_{2}一定不同构任一非空无向图中的道路有无穷条任何非平面图中一定存在一个子图是$\mathsf{K}^{(1)}$型图或者$\mathsf{K}^{(2)}$型图($\mathsf{K}^{(1)}$型图指${\mathsf{K}}_{5}$的同胚,$\mathsf{K}^{(2)}$型图指${\mathsf{K}}_{3,3}$的同胚)给定赋权的叶子结点集合,则相应的 Huffman 树是唯一的
3028A是一个有限集合A是一个偏序集则下面说法____是错误的。A是全序集当有仅当A是良序集集合A 的任意非空子集B一定存在上确界集合A 的任意非空子集B一定存在极大元B可能存在多条链
3129$A\cup(B\cap C)$与____不恒等$(A\cup B)\cap(A\cup C)$$((A-B)-C)\cup(B\cap C)$$(A-B)\cup(B\cap C)\cup(A-C)$$A\cup(B-(B\oplus C))$
3230设$\mathsf{H}\left(x\right)$:x是人$\mathsf{P}\left(x\right)$:x犯错误。则“没有不犯错误的人”应该翻译成____$\left(\exists x\right)\:\left(\text{H}\left(x\right)\wedge\neg\text{P}\left(x\right)\right)$$\left(\forall x\right)\left(H\left(x\right)\rightarrow P\left(x\right)\right)$$\left(\forall x\right)\:\left(H\left(x\right)\wedge P\left(x\right)\right)$$\left(\exists x\right)\:\left(H\left(x\right)\rightarrow P\left(x\right)\right)$
3331设T为n(n≥3)阶无向树T有几条割边?____n条n-2条n-1条没有
3432关于$A\rightarrow\phi$的函数下列_是正确的____不存在有一个空函数$\Phi$仅当A非空时才能有函数仅当A为空时才能有函数
3533下列命题联结词集合中是联结词的完备集的是____$\{\neg,\leftrightarrow\}$$\{\uparrow\}$$\{\wedge,\lor \}$$\{\wedge,\rightarrow \}$
3634以下____不正确。$\phi\subseteq\phi$$\phi\in1$$\phi\subseteq1$$\phi\in\phi$
3735设$A\left(x\right):x$是成功人士,$B\left(x\right):x$出身名门命题“成功人士未必都出身名门”符号化为____$(\forall x)(A(x)\wedge B(x))$$\neg\left(\exists x\right)\left(\mathtt{A}\left(\mathtt{x}\right)\rightarrow\mathbf{B}\left(\mathtt{x}\right)\right)$$\neg\left(\forall x\right)\left(\mathtt{A}\left(\mathtt{x}\right)\wedge\mathtt{B}\left(\mathtt{x}\right)\right)$$\neg\left(\forall x\right)\left(\text{A}\left(x\right)\rightarrow\text{B}\left(x\right)\right)$
3836设R是集合A={123}上的二元关系且R={1133}下列命题中____为真。R的自反闭包为{112233}ⅡR的对称闭包为{1133}ⅢR的传递闭包为{l133}只有Ⅰ只有ⅡⅠ和ⅡⅠ、Ⅱ和Ⅲ
3937设G是连通平面图有v个顶点e条边且其平面表示中共有r个面则e=____v+r+2r-v+2r+v-2v-r+2
4038与自然数集合$N$等势的集合是____$[0,1]$$\mathbf{N_2}$$Q$$R$
4139已知集合A={123}上的关系R={〈33〉〈31〉}则s(R)=____{〈33〉〈13〉}{〈33〉〈31〉〈13〉}{〈33〉〈11〉〈22〉}{〈33〉〈31〉〈13〉〈11〉}
4240Z代表整数集合“≤”是Ζ上的小于等于二关系下面说法____是错误的。(Z, ≤)是偏序集(Z, ≤)是全序集(Z, ≤)是良序集(Z, ≤)是一条链
4341已知图G有11条边由1个4度顶点4个3度顶点其余顶点的度数均小于等于2则G中至少有____个顶点。78910
4442假设集合${A\subseteq B}$,$C$是任意一个集合则以下不一定成立____$C\cup A\subseteq C\cup B$$\cap A\subseteq \cap B$$C\cap A\subseteq C\cap{B}$$A-B\subseteq B-A$
4543令$\mathbb{N}$是自然数集,$\mathbb{Q}$是有理数集,$\mathbb{R}$是实数集,则与闭区间$[1,2]$等势的集合是____$\ {\mathrm{{N}}}$$\mathbb{N}\times\mathbb{Q}$$\mathbb{N}_{2}$$p(\mathbb{R})$
4644设$R_{3}$是集合A到集合B上的二元关系$R_{1}$$R_{2}$是集合B到集合C上的二元关系则以下_是错误的.____$(R_1\cup R_2)\circ R_3=(R_{1}\circ R_{3})\cup(R_{2}\circ R_{3})$$(R_{1}\cap R_{2})\circ R_{3}=(R_{1}\circ R_{3})\cap(R_{2}\circ R_{3})$$R_1[A\cup B]=R_1[A]\cup R_1[B]$$\left(R_1\circ R_3\right)^{-1}=R_3^{-1}\circ R_1^{-1}$
4745设T为n≥2的简单图以下____不足以证明T是树。T连通且无回路T连通且每条边为割边T连通且有n一1条边T无回路且每条边均为割边
4846设$N\left(\mathbf{x}\right):\textbf{x}$是自然数$\mathsf{E}\left(x,y\right):\textbf{x}$等于$\textbf{y}$;$\text{f}\left(\text{x}\right):\textbf{x}$的相继前元。则命题$(\forall\:x)\:(\:(N(x)\land\neg E(x,0))\rightarrow\:(\exists\:y)\:(E(y,f(x))\land(\forall\:z)\:(\:E(z,f(x))\rightarrow E(y,z))\:))$表示的自然语言是____任意非零自然数有相继前元存在非零自然数有且仅有一个相继前元任意非零自然数有且仅有一个相继前元存在一个自然数是任意非零自然数的唯一相继前元
4947设G是有n个结点m条边的连通图必须删去G的____条边才能确定G的一棵生成树.m-n+Im-nm+n+1n-m+1
5048在平面图$\mathbf{G}$的某个域内增加一个结点及连接该结点与该域的边界上某结点的一条边,得到一个新图$\mathbf{G^{\prime}}$那么以下正确的是____$\mathbf{G}^*\subset\mathbf{G^{\prime}}^*$$\mathbf{G}^{*}\supset\mathbf{G^{\prime}}^{*}$$\mathbf{G}^{*}=\mathbf{G^{\prime}}^{*}$以上都不对
5149设有一个连通平面图G共有7个结点12条边则G的面的个数为____6789
5250集合A1A2An是集合C的n个子集n≥2已知C中的任意一元素都恰好在两个不同的子集中出现一次即任意两个不同的子集AiAj有|Ai∩Aj|=1则|C|=____。nn-12nn+1
5351设a小华P(x)x是教授f(x)x的父亲则语句“小华的父亲是教授”可符号化为____P(f(a))P(a)∧f(a)f(P(a))P(a)f(a)
5452设fB→CgA→B。若f·g是满射的则下面命题为真的是____。f是满射的f是单射的f是双射的g是满射的
5553任意一个具有2个或2个以上元的半群____可能不是群一定不是群一定是群是交换群
5654设$\mathcal{R}$是集合$\mathcal{A}$上反自反、对称、传递的二元关系,且$\mid A\mid\geq2$。定义二元关系$\overline{R}=A\times A-R$,则对于关系$\overline{\mathcal{R}}$错误的是_____$\overline{\mathcal{R}}$是自反的$\overline{\mathcal{R}}$是对称的$\overline{\mathcal{R}}$不是反对称的$\overline{\mathcal{R}}$是传递的
5755设G=〈VE〉是无向图若每个顶点的度数至少为2则G包含____条初级回路。1234
5856一个无向图共有6个顶点其中5个顶点的度数分别为12234则第六个顶点的度数不可能是下列哪项____4210
5957下面说法错误的是____结点数大于 2 的简单图 $G$ 中一定存在度相同的结点同构的图存在同构的导出子图简单图 $G$ 中,若$m\geq\frac{1}{2}(n-1)(n-2)$ 则$G$不存在孤立点连通无向图的每一对不同的顶点 之间都存在简单道路
6058下列命题公式为永假式的是____﹁(P→Q)﹁(P→Q)∧Q(P→Q)Q﹁P∧(P→Q)
6159下面表述不正确的是哪项____全称量词和存在量词不可以随便交换位置。如果公式A没有自由变元则称公式A为闭公式命题的真值可以不唯一谓词是用来刻画个体具有的性质或关系的。
6260下列语句中是真命题的是____这个语句是假的严禁吸烟如果1+2=3那么雪是黑的如果1+2=5那么雪是黑的
6361ABC为任意命题公式当下列哪项成立有$A\Leftrightarrow B$____$C\to A\Leftrightarrow C\to B$$A\lor C\Leftrightarrow B\lor C$$A\land C\Leftrightarrow B\land C$$\neg A\Leftrightarrow \neg B$
6462设N为自然数集合Z为整数集合Q为有理数集合R为实数集合为全体奇数集合[01)和(01)为两个区间下列关系中为假的是____。(01)≈QZ≤RQ≈N[01]≈R
6563下列公式中____不是永真公式$(\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha)$$(\neg\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\alpha)$$(\neg\alpha\rightarrow\neg\beta)\rightarrow(\beta\rightarrow\alpha)$$(\alpha\rightarrow\beta)\rightarrow(\neg\alpha\rightarrow\neg\beta)$
6664$f$$g$是函数.若$g$不是单射的则____$f\circ g$不是单射的$g\circ f$不是单射的AB 都不对不一定
6765设平面图$G$加上一个孤立结点,得到一个新图$G^{,}$那么以下正确的是____$G^{*}\supset G^{,*}$$G^{*}\subset G^{,*}$$G^{*} = G^{,*}$以上都不对
6866在谓词逻辑中令F(x)表示x是人G(x)表示x呼吸命题“没有不呼吸的人”的符号表示中____是正确的。仅ⅢⅠ和ⅡⅡ和ⅢⅠ、Ⅱ和Ⅲ
6967${\mathcal{f}}\circ{\mathcal{g}}\circ{\mathcal{h}}$是双射那么一定有____$\mathcal{f}$是单射,$\mathcal{h}$是满射;$\mathcal{g}$是满射,$\mathcal{h}$是单射;$\mathcal{f}$是满射,$\mathcal{h}$是单射;$\mathcal{f}$是单射,$\mathcal{g}$是单射。
7068以下性质中不正确的是____存在对称但不反对称的二元关系存在反对称但不对称的二元关系存在既对称又反对称的二元关系没有既不对称也不反对称的二元关系
7169下面四个关系中____是拟序关系R中的“>”关系N- {0}中的整除关系N-{0}中的互素关系R={<xy>|x-y被5整除$x,y\in Z$}
7270G是平面图它的点、边、域数分别是n、m、dG*是其对偶图它的点、边、域数分别是n*、m*、d*则G*满足____G*不唯一有K子图G* = Gd = n*
7371在整数集Z上下列运算满足结合律的是____a*b=|a-b|a*b=ab+1a*b=2a+ba*b=a+b+1
7472下列不是命题的是____乌鸦是黑色的歌声多么动听!2是素数雪是黑色的
7573前提﹁P∧QQ→R﹁R的结论是____PQ﹁R﹁P
7674对自然数集合N下列哪种运算是可结合的运算定义为ab∈N____a*b=a-ba*b=a+2ba*b=min(ab)a*b=|a-b|
7775T是结点数为n≥2的树则T至少有____个叶结点。234无合适选项
7876设无向图G的邻接矩阵为$\begin{bmatrix}0&1&1&1&1\\1&0&1&0&0\\1&1&0&1&1\\1&0&1&0&1\\1&0&1&1&0\end{bmatrix}$则G的顶点数与边数分别为哪项____4105104858
7977下面说法错误的是____若简单图每个结点的度大于等于$\frac{\boldsymbol{n}}{2}$ 则$\textbf{G}$有$\textbf{H}$回路$K_{n}$的$\textbf{H}$回路含有$\dfrac{1}{2}n(n-1)$条边如果一个图$\textbf{G}$的子图是非平面图,则$\textbf{G}$一定是非平面图简单图$\textbf{G}$的任意结点$\mathbf{v}_{\mathbf{i}}$$\mathbf{v}_{\mathbf{j}}$之间恒有$d(v_{i})+d(v_{j})\geq n$,则$\textbf{G}$存在$\textbf{H}$回路
8078根据归结推理规则,子句${\mathsf{P}}\left(x\right)\:\lor\:{\mathsf{Q}}\left(a,\:x\right)$与${\mathsf P}\left(\mathbf{y}\right)\lor\neg{\mathsf Q}\left(\mathbf{y},\mathbf{b}\right)$的归结式是____$\mathsf{P}\left(\mathsf{a}\right)$$\mathsf{P}\left(\mathsf{b}\right)$$\mathsf{P}\left(\mathsf{a}\right)\ \lor\ \mathsf{P}\left(\mathsf{b}\right)$$\mathsf{P}\left(\mathbf{a}\right)\:\wedge\:\mathsf{P}\left(\mathbf{b}\right)$
8179设S={1{1}{12}}则既是S的元素又是S的子集的为____φ1{1}{12}
8280下列命题不含联结词的称为原子命题是____“小明和小华是兄弟”。“他个子不高也不漂亮”。“小张或小王能解出这道题”。“小张可能去体育场也可能在家里电视屏幕上观看这场球赛”。
8381下列公式不成立的是____$(\forall x)P(x)\rightarrow q=(\exists x)(P(x)\rightarrow q)$$(\exists x)(P(x)\to Q(x))\:=(\forall x)P(x)\to(\exists x)Q(x)$$(\exists x)P(x)\rightarrow(\forall x)Q(x)\Rightarrow(\forall x)(P(x)\rightarrow Q(x))$$(\exists x)(\forall y)P(x,y)=(\forall y)(\exists x)P(x,y)$
8482设R是集合A={abcd)上的二元关系R={addaaccabddb}下面____命题为真. R·R是对称的ⅡR·R是自反的 ⅢR·R不是传递的仅Ⅰ仅ⅡⅠ和Ⅱ全真
85836阶11条边的连通的简单的非同构的非平面图的个数为____。3456
8684下列公式中是重言式____$\mathsf{P}\rightarrow(\mathsf{P}\wedge\mathsf{Q})$$(\neg\mathtt{Q}\wedge(\mathtt{P}\rightarrow\mathtt{Q})\rightarrow\mathtt{P}$$\mathsf{Q}\rightarrow(\mathsf{P}\rightarrow\mathsf{Q})$$\left(\mathsf{P}\rightarrow\mathsf{Q}\right)\rightarrow\left(\begin{matrix}{\left(\mathsf{P}\rightarrow\mathsf{R}\right)}\rightarrow\left(\mathsf{Q}\rightarrow\mathsf{R}\right)\end{matrix}\right)$
8785设${\mathcal{f}}:[0,1]\to[0,1]$。${\mathcal{f}}(x)={\frac{2x+1}{4}}$则$\mathcal{f}$是____双射;单射;满射;无法判断。
8886所有使命题公式$\neg P\wedge(Q\vee\neg R)$的真值为T的解释是$(\mathsf{P},\mathsf{Q},\mathsf{R})$____$(\mathsf{F},\mathsf{F},\mathsf{F})$, $(\mathsf{F},\mathsf{F},\mathsf{T})$,$(\mathsf{T},\mathsf{F},\mathsf{F})$;$(\mathsf{F},\mathsf{T},\mathsf{T})$,$(\mathsf{F},\mathsf{T},\mathsf{F})$,$(\mathsf{F},\mathsf{F},\mathsf{F})$;$(\mathsf{T},\mathsf{F},\mathsf{F})$,$(\mathsf{T},\mathsf{F},\mathsf{T})$,$(\mathsf{T},\mathsf{T},\mathsf{F})$);$(\mathsf{T},\mathsf{T},\mathsf{F})$,$(\mathsf{T},\mathsf{F},\mathsf{T})$,$(\mathsf{T},\mathsf{T},\mathsf{T})$.
8987设R={<ab><ac><b,c>,<aa>}则R满足的性质有____对称;传递;自反;以上都不满足。
9088与基数$2^{\aleph_{0}}$相等的是____$\aleph2^{\aleph_{o}}$ ($\boldsymbol{\aleph}$为实数集$R$的基数)$2^{\aleph}$$\aleph_0\cdot\aleph_0$$\aleph_o2^{\aleph}$
9189互不相同的n元真值函数有多少个____$\text{2n}$$\mathcal{2}^{n}$$n^2$$2^{2^n}$
9290对于一个只有4个不同元素的集合A来说A上的不同的二元关系的总数为____。4224216取决于元素是否为数值
9391下列说法错误的是____简单图${G}(n\geq3)$存在${H}$回路的充要条件是其闭合图是完全图简单图${G}$的任意结点$\mathbf{v}_{\mathrm{i}}$$\mathbf{v}_{\mathrm{j}}$之间恒有$d(\nu_{i})+d(\nu_{j})\geq n-1$,则${G}$存在${H}$道路完全图$K_{n}(n\geq3)$中存在${H}$回路若简单图${G}$的每个结点的度都大于等于$\frac{n}{2}$,则${G}$有${H}$回路
9492若A可化为与其等价的含2n个小项的主析取范式则A为____矛盾式重言式可满足式不确定
9593设无向图G=VE其中V={V1V2V3V4V5}E={(V1V4)(V4V4)(V1V2)(V2V3)(V3V4)}下列命题为真的是____。G是哈密尔顿图G是欧拉图G是二部图G是平面图
9694设p他怕困难q他获得成功。命题“他只有不怕困难才能获得成功”可符号化为____p→qq→p﹁p→qq→﹁p
9795下列4个推理中不正确的是____$A\Rightarrow(A\wedge B)$$(A \lor B) \wedge\neg A\Rightarrow B$(A\rightarrow B)\wedge A\Rightarrow B$(A\rightarrow B)\wedge\neg B\Rightarrow\neg A$
9896下列集合可数的是____$[1,2]$$\mathsf{N}_{2}$$\mathbb{R}^{*}$即正实数集合$\mathbb{Q}\times\mathbb{Q}$
9997极大平面图不满足____连通无割边每个域边界数33d 2m
10098设G为n(n≥2)阶无向连通图下面____命题必为真。若G有割点则G一定有桥Ⅱ若G有桥则G一定有割点仅Ⅰ仅Ⅱ全不一定为真全一定为真
101994阶非同构的无向简单图共有____个。9131127
102100$f$是集合$A$到集合$B$的关系则____若$f$是函数,则$f^{-1}$也是函数若$f^{-1}$是函数,则$f$也是函数若$f$不是函数,则$f^{-1}$也不是函数都不对
103101$R_{1}$,$R_{2}$是集合A上的二元关系则以下____是正确的若$R_{1}\cap R_{2}$自反,则$R_{1}$和$R_{2}$均自反;若$R_{1}\cap R_{2}$对称,则$R_{1}$和$R_{2}$均对称;若$R_{1}$和$R_{2}$传递,则$R_1\cup R_2$传递;若$R_{1}$和$R_{2}$反对称,则$R_1\cup R_2$反对称;
104102下列各组公式不等值的是____$(\forall x)(\alpha(x)\wedge\beta(x))$与$(\forall x)\alpha\big(x\big)\wedge(\forall x)\beta\big(x\big)$$(\exists x)\alpha(x)\lor\beta$与$(\exists x)\big(\alpha\big(x\big)\lor\beta\big)$$(\forall x)\alpha\bigl(x\bigr)\rightarrow\beta$与$(\forall x)\big(\alpha(x)\rightarrow\beta\big)$$(\exists x)(\alpha(x)\lor\beta(x))$与$(\exists x)\alpha\big(x\big)\lor(\exists x)\beta\big(x\big)$
105103$(\exists x)(\forall y)P(x,y,z)\rightarrow(\exists z)P(x,y,z)$的前束范式为____$(\exists x)(\forall y)(\exists z)(\neg P(x,y,u)\lor P(\nu,w,z))$$(\forall x)(\exists y)(\exists z)(\neg P(x,\nu,u)\lor P(\nu,w,z))$$(\exists x)(\forall y)(\exists z)(P(x,\nu,u)\rightarrow P(\nu,w,z))$以上都不对
106104设无向树T由3个3度顶点2个2度顶点其余顶点都是树叶则T有____片树叶。3456
107105G为平面图其对偶图的结点数、边数、域数分别为n*m*d*则以下性质一定正确的是____(G*)*=Gd*=m*-n*+2G 未必有对偶图G*未必有对偶图
108106设个体域为$\{\mathbf{a},\mathbf{b}\}$,并对$\mathsf{P}\left\{x,y\right\}$设定为$P\left(\mathbf{a},\:\mathbf{a}\right)\:=\mathbf{T}$$P\left(a,b\right)=F$$P\left(b\:,\:a\right)\:=\:F$$\mathsf{P}\left(\mathbf{b},\mathbf{b}\right)$其真值为真的公式为____$(\forall x)(\exists y)P(x,y)$$(\exists x)(\forall y)P(x,y)$$(\forall x)(\forall y)P(x,y)$$(\exists y)(\forall x)P(x,y)$
109107设无向图G有n个结点n≥3有m=n+1条边下面说法不正确的是____图 G 是一个连通图;图 G 中一定有回路;图G存在一条不是割边的边图 G 存在某两个点, 这两个点间有两条不同的道路;
110108下面不正确的是____$\neg Q\land(P\rightarrow Q)\Rightarrow\neg P$$P\Rightarrow P\lor Q$$P\rightarrow Q\Rightarrow\neg Q\rightarrow\neg P$$(P\to Q)\lor\neg Q\Rightarrow\neg P$
111109公式$(p\downarrow q)\downarrow(p\downarrow q)$与____等值。$p \lor q$$\mathfrak{p}\wedge\mathfrak{q}$$\mathtt{p}\rightarrow\mathtt{q}$$\text{p}\leftrightarrow\text{q}$
112110设${\mathrm{P}}(x)$表示“x是数学学得好的学生”${\mathrm{Q}}(x)$表示“x是优秀生”则“并不是数学学得好的都是优秀生”用符号表示为____$\neg(\forall x)(\mathrm{P}(x)\to\mathrm{Q}(x))$$\neg(\forall x)(\mathrm{P}(x)\wedge\mathrm{Q}(x))$$\neg(\exists x)(\operatorname P(x)\to Q(x))$$(\forall x)(\neg\mathrm{P}(x)\wedge\mathrm{Q}(x))$
113111下面关于命题公式的叙述不正确的是____不是可满足的公式必永假如果$\mathsf{P}$是重言式, 对其使用代入规则得到的公式 $\mathsf{Q}$不一定是重言式如果$\mathsf{P}\leftrightarrow\ \mathsf{Q}$是重言式,那么$\mathsf{P}=\mathsf{Q}$如果${\mathsf P}\rightarrow{\mathsf Q}$是重言式, 那么$\neg\mathsf{Q}\rightarrow\neg\mathsf{P}$是重言式
114112下列三个命题公式中有几个与$(x\land\neg y)$矛盾(既不同为真也不同为假)?($\neg x\lor y$),($\neg x\land y$),($\neg y\to\neg x$)____0123
115113下列语句为复合命题的是____今天天气凉爽今天天气炎热,有雷阵雨x+y16今天天气多好呀,外面景色多美呀
116114集合A有5个元素集合B有2个元素则A到B的满射假设在A中每个元素上都有定义个数为____30322523
117115无向连通图G=〈VE〉的点割集为V1边割集为E1则子图G—E1所含的连通分量个数为____1234
118116设A为n个元素的集合则A上有____个二元关系。2n2n×n2nn
119117$\left(\exists x\right)\left(\mathsf{P}\left(a,x\right)\rightarrow\left(\forall y\right)\mathsf{Q}\left(x,b,y\right)\right)$的前束范式为____$\left(\exists x\right)\left(\forall y\right)\left(\neg P\left(a,x\right)\lor Q\left(x,b,y\right)\right)$$\neg\left(\forall x\right)\left(\exists y\right)\left(\mathsf{P}\left(a,x\right)\wedge\neg Q\left(x,b,y\right)\right)$$(\exists x)(\forall y)~(\neg P(a,x)\land Q(x,b,y))$$(\exists x)(\neg P(a,x)\lor(\forall y)Q(x,b,y))$
120118设有函数fR→R和gR→R且f(x)=x^2-1g(x)=4x+1则复合函数[*]____x^24x^2-34x^2+8x4x^2
121119下列属于两个命题变元P、Q的大项的是____﹁P∧P∧Q﹁PPQ﹁P∧Q﹁PQ
122120设有四个犯罪嫌疑人甲乙丙丁。甲说:“我不是罪犯。“乙说:"丁是罪犯。“丙说:”乙是罪犯,”丁说:"我不是罪犯。"经调查证实四人中只有一人说的是真话。下列哪个判断为真____甲说的是假话,甲是罪犯。乙说的是真话,丁是罪犯。丙说的是真话,乙是罪犯,丁说的是假话,丁是罪犯。
123121$R_{1}$$R_{2}$$R_{3}$是三个关系如果下面等式所涉及的运算都有意义那么不正确的等式是____$R_1\circ(R_2\cup R_3)=R_1\circ R_2\cup R_1\circ R_3$$(R_1\circ R_2)\circ R_3=R_1\circ(R_2\circ R_3)$$R_1\circ(R_2\cap R_3)=R_1\circ R_2\cap R_1\circ R_3$$(R_1\circ R_2)^{-1}=R_2^{-1}\circ R_1^{-1}$
124122在简单无向图G=〈VE〉中如果V中的每个顶点都与其余的顶点邻接则该图称为____正则图完全图强连通图连通图
125123下列哪个命题公式是重言式?____$(x\rightarrow y)\land(y\rightarrow x)$$(\neg x\circ y)\land(\neg(\neg x\land\neg y))$$\neg(x\rightarrow\neg y)\rightarrow x$$\neg(x\lor y)$
126124以下____不是集合$\phi\times P(\phi)$$P$表示幂集运算){x|是整数且|x|是素数}{x| x是包含1的集合}{x| x包含1且$x\mathsf{\subseteq}R$}
127125下面不是命题的是____火星上有生命存在雪是白的我正在说谎10 + 11= 101
128126$R_{1}$$R_{2}$均为A中的关系下面结论正确的是____若$R_{1}$ $R_{2}$均为对称关系,则${R_1}\circ {R_2}$为对称关系若$R_{1}$是偏序关系,则$R_{\textbf{1}}^{-\textbf{1}}$也是偏序关系$t(R_1)\cup t(R_2)=t(R_1\cup R_2)$ t 为传递闭包)$st(R_1)=ts(R_1)$s为对称闭包
129127设$R$是$A$中的一个关系,$I_A\subseteq R$,若有$<a,b>\in R\wedge<a,c>\in R\Rightarrow<b,c>\in R$则下列说法最准确的是____$R$是等价关系$R$是相容关系$R$是偏序关系$R$是拟序关系
130128设解释I如下个体域$D=\{a,b\}$$F(a,a)=F(b,b)=0$$F(a,b)=F\{b,a\}=1$在解释l下.下列公式中真值为1的是哪项____$\{\forall x\}(\exists y)F(x,y)$$(\exists x)(\forall y)F(x,y)$$(\forall x)(\forall y)F(x,y)$$\neg(\exists x)(\exists y)F(x,y)$
131129下列命题公式中____为重言式?(p→(pq))rⅡ(p→(qr))→((p→q)∧(p→r))Ⅲ.(p→q)∧(p→r)→(p→r)Ⅳ.┐(p→q)∧q∧rⅠ和ⅢⅠ和ⅡⅠ、Ⅱ、Ⅲ和Ⅳ
132130下列无向图不一定为树的是____无回路的连通图有n个结点n-1条边的连通图每对结点间都有路的图连通但删去一条边便不连通的图
133131下列命题公式为重言式的是____$Q\rightarrow(P\wedge Q)$$P\rightarrow(P\wedge Q)$$(P\wedge Q)\rightarrow P$$(P\lor Q)\rightarrow Q$
134132设集合$\mathbf{A}=\{a\}$,下式不成立的是:____$\{\phi\}\in P P(A)$$\{\phi\}\subseteq{\mathcal{PP}}({\mathcal{A}})$$\{\phi,\{\alpha\}\}\in{\mathcal{PP}}({\mathcal{A}})$$\{\phi,\{a\}\}\subseteq{\mathcal{P}}{\mathcal{P}}(A)$
135133与闭区间$\left[444,555\right]$等势的集合是____$N$$\text{NxQ}$$\mathbf{N}_{2}$$\text{NxN}$
136134下面论述不正确的是____良序集必为全序集偏序关系是自反、反对称、传递的。相容关系是自反和反对称的有限全序集必为良序集
137135在自然数集N上下列运算满足结合律的是____a*b=aa*b=|a-b|a*b=baa*b=2a+b
138136设R+为正实数集合R+*在下面四种运算下不构成代数系统的是____。*代表普通加法*代表普通乘法*代表普通除法*代表普通减法
139137设连通图G的顶点数和边数与一立方体相同即有8个顶点和12条边。任意一棵G的生成树的总边数为____。10987
140138设R1、R2都是从A到B的二元关系则下列各式成立的为____(R1∩R2)-1=R1-1R2-1(R1∩R2)-1=R1-1∩R2-1(R1∩R2)-1=R1R2(R1∩R2)-1=R1∩R2
141139下列集合关于数的加法和乘法运算不能构成环的是____自然数集合整数集合有理数集合实数集合
142140${\mathcal{R}}=\{\lt a,b\gt,\lt b,a\gt,\lt a,c\gt\}$,则${st}({\mathcal{R}})$为____(其中${s}({\mathcal{R}})$为${\mathcal{R}}$的对称闭包,${t}({\mathcal{R}})$为${\mathcal{R}}$的传递闭包)$\{\lt a,b\gt \lt b,a\gt ,\lt a,c\gt ,\lt c,a\gt ,\lt a,a\gt ,\lt b,c\gt \}$$\{\lt a,b\gt \lt b,a\gt ,\lt a,c\gt ,\lt a,a\gt ,\lt b,c\gt ,\lt c,b\gt \}$$\{\lt a,b\gt \lt b,a\gt ,\lt a,c\gt ,\lt a,a\gt ,\lt b,b\gt ,\lt b,c\gt,\lt c,a\gt,\lt c,b\gt \}$$\{\lt a,b\gt \lt b,a\gt ,\lt a,c\gt ,\lt b,b\gt ,\lt b,c\gt,\lt c,b\gt,\lt c,a\gt \}$
143141设函数$g\colon A\rightarrow B$$f\colon B\rightarrow C$则下列是正确的____若$g$ 是满射,$f$是单射,则$f\circ g$ 是单射若$g$是满射,$f$是单射,则$f\circ g$是满射若$g$是满射,$f$是单射,则$f\circ g$是双射若$f\circ g$是单射,且 $g$ 是满射,则$f$是单射。
144142下面的联结词集合不是完备集的是____$\{\uparrow\}$ ($\uparrow$ 表示与非)$\{\lnot,\to\}$$\{\lnot,\leftrightarrow\}$$\{\neg, \lor \}$
145143一棵高度为h的正则k叉树中叶结点的个数为____kh-1kh2h-12h
146144下面哪一种图不一定是树____无回路的连通图有n个结点n-1 条边的连通图连通但删去一条边则不连通的图每对结点之间都有通路的图
147145下列数组中能构成无向图的顶点度数的数组是____(1123)(2222)(32345)(0133)
148146偏序关系一定不是____自反的传递的反自反的反对称的
149147设$N\left(x\right)$x是自然数$L\left(x,y\right)$x大于y。则命题$(\:\forall x)\:\left(N(x)\rightarrow L\:\left(x+1,0\right)\:\right)$表示的自然语言是_____$x+1>0$任何自然数的后继数必大于0每一个自然数都大于0存在自然数大于0
150148无向简单图G是棵树当且仅当____G连通且边数比结点数少1G连通且结点数比边数少1G的边数比结点数少1G中没有回路
151149设p天下雨q我开车上班。命题“除非不下雨否则我开车上班”可符号化为____p→qq→p﹁p→qq→﹁p
152150权序列为3025201510的最优二叉树的带权路径总长为____100225400625
153151设〈G*〉为群,[*]有____(ab)-1=ab(ab)-1=ba(ab)-1=a-1b-1(ab)-1=b-1a-1
154152下列说法错误的是____$\mathbf{K_{3}}$是边数最少的非平面图$\mathsf{K}_{5}$是结点数最少的非平面图$\mathsf{K}_{6}$中不存在$k^{(1)}$型子图$\mathbf{K_{3}}$去掉任意一条边所形成的图是可平面图