一、填空题
1、若P,Q为二命题,当且仅当 。 PQ真值为1,2、对公式(yP(x,y)zQ(x,z))xR(x,y)中自由变元进行代入的公式为 。 3、xF(x)(xG(x))的前束范式为 。 4、设x是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y的自由的,则 被称为全称量词消去规则,记为US。 5、与非门的逻辑网络为 。
Z6、{x|xZx0},*表示求两数的最小公倍数的运算(Z表示整数集合),
对于*运算的幺元是 ,零元是 。 7、代数系统中,|A|>1,如果e和分别为的幺元和零元, 则e和的关系为 。 8、设 9、图的完全关联矩阵为 。 10、一个图是平面图的充要条件是 。 二、选择题 1、下列各符号串,不是合式公式的有( )。 A、(PQ)R; B、((PQ)(RS); C、PQR; D、((PQ)R)S。 2、下列语句是命题的有( )。 A、2是素数;B、x+5 > 6;C、地球外的星球上也有人;D、这朵花多好看呀!。 3、下列公式是重言式的有( )。 A、(PQ);B、(PQ)Q;C、(QP)P;D、(PQ)P 4、下列问题成立的有( )。 若ACBC,则AB; B、若ACBC,则AB; C、若AB,则AB; D、若AB,则AB。 5、命题逻辑演绎的CP规则为( )。 A、在推演过程中可随便使用前提; B、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果; C、如果要演绎出的公式为BC形式,那么将B作为前提,设法演绎出C; D、设(A)是含公式A的命题公式,则可用B替换(A)中的A。 BA, 6、命题“有的人喜欢所有的花”的逻辑符号化为( )。 设D:全总个体域,F(x):x是花,M(x) :x是人,H(x,y):x喜欢y A、B、x(M(x)y(F(y)H(x,y)));x(M(x)y(F(y)H(x,y))); C、x(M(x)y(F(y)H(x,y)));D、x(M(x)y(F(y)H(x,y)))。 7、公式xy(P(x,y)Q(y,z))xP(x,y)换名( )。 A、B、 xu(P(x,u)Q(u,z))xP(x,y);xy(P(x,u)Q(u,z))xP(x,u);C、D、 xy(P(x,y)Q(y,z))xP(x,u);uy(P(u,y)Q(y,z))uP(u,y)。8、给定公式xP(x)xP(x),当D={a,b}时,解释( )使该公式真值为0。 A、P(a)=0、P(b)=0;B、P(a)=0、P(b)=1;C、P(a)=1、P(b)=0;D、P(a)=1、P(b)=1 9、下面蕴涵关系成立的是( )。 A、xP(x)xQ(x)x(P(x)Q(x)); B、xP(x)xQ(x)x(P(x)Q(x)); C、xP(x)xQ(x)x(P(x)Q(x)); D、xyA(x,y)yxA(x,y)。 10、下列推理步骤错在( )。 ①yyF(x,y) P ②yF(z,y) ③F(z,c) ④xF(x,c) ⑤yxF(x,y) US① ES② UG③ EG④ A、①→②;B、②→③;C、③→④;D、④→⑤。 11、下面各集合都是N的子集,( )集合在普通加法运算下是封闭的。 A、{x | x 的幂可以被16整除}; B、{x | x 与5互质}; C、{x | x是30的因子}; D、{x | x是30的倍数}。 12、设G1{0,1,2},,G2{0,1},*,其中表示模3加法,*表示模2乘法,则积代数G1G2的幺元是( )。 A、<0,0>; B、<0,1>; C、<1,0>; D、<1,1> 。 13、设集合S={1,2,3,6},“≤”为整除关系,则代数系统< S , ≤ >是( )。 A、域; B、格,但不是布尔代数; C、布尔代数; D、不是代数系统。 14、设n阶图G有m条边,每个结点度数不是k就是k+1,若G中有Nk个k度结点,则Nk=( )。 A、n·k; B、n(k+1); C、n(k+1)-m; D、n(k+1)-2m 。 15、一棵树有7片树叶,3个3度结点,其余全是4度结点,则该树有( )个4度结点。 三、逻辑判断题 1、下列命题相容吗?AB, (BC), A 2、用范式方法判断公式 (PQ)(PR),PQR 是否等价。 3、(10分)下列前提下结论是否有效? 今天或者天晴或者下雨。如果天晴,我去看电影;若我去看电影,我就不看书。故我在看书时,说明今天下雨。 判断题 4、( )设S={1,2},则S在普通加法和乘法运算下都不封闭。 5、( )在布尔格中,对A中任意原子a,和另一非零元b,在ab或ab中有且仅有一个成立。 6、( )设S{x|xZx0}N,+,·为普通加法和乘法,则 7、( )一条回路和任何一棵生成树至少有一条公共边。 8、( )没T是一棵m叉树,它有t片树叶,i个分枝点,则(m-1)i = t-1。 四、计算题 1、给定3个命题:P:北京比天津人口多;Q:2大于1;R:15是素数。 求复合命题:(QR)(PR)的真值。 2、给定解释I:D={2,3},L(x,y)为L( 2 , 2 ) = L ( 3 , 3 ) = 1 , L ( 2 , 3 ) = L (3 , 2 )=0 ,求谓词合式公式yxL(x,y)的真值。 证明题 3、对代数系统,*是A上二元运算,e为A中幺元,如果*是可结合的且每个元素都有右逆元,则(1)中的每个元素在右逆元必定也是左逆元。 (2)每个元素的逆元是唯一的。 4、设A , ,,是一个布尔代数,如果在A上定义二元运算☆,为是域。