雨课堂学堂在线学堂云《计算机科学中的数理逻辑（西安邮电）》单元测试考核答案

第1题下列哪个公式可以使得╞Ф是成立的()A¬q∨p∨rB(¬q∨p∨q)∧(¬r∨r)C(¬p∨r)∧qD(¬q∨p∨r)∧(¬p∨¬r)∧q第2题下列哪个公式是霍恩公式()A(p∧q∧s→p)∧(q∧r→q)∧(p∧s→s)B(p∧q∧s→¬p)∧(q∧r→q)C(¬q∧r→p)∧(T→s)D(p2∧p3∧p5→p13∧p27)∧(T→p5)第3题下列语义推导关系成立的是()

Ap®q╞p

Bp∨q╞pC¬q,p∨q╞pDp╞qv┐q正确答案：CD第4题下列说法正确的是()Ap∨¬p是重言式Bp∨q是CNF范式C若f时重言式,则f是定理D只要矢列语义上有效,那么自然演绎证明中都有一个句法上的证明。正确答案：ABCD第5题复合命题是由联结词、标点符号和原子命题复合构成。()第6题命题连接词中的蕴涵连接词是左结合的。()第7题语义推导关系p∧q╞p成立。()第8题(p∨r)∧(¬p∨r)∧(p∨¬r)是CNF;()第9题(¬)()∨pq是合式公式。()第1题φ[t/x]为用项t代替φ中每个自由变量x而得到的公式。()第2题ヨuP(x,z)此公式中变元x,z为自由出现。()第3题在一个谓词逻辑公式中不允许一个变元既为自由出现又为约束出现。()第4题谓词逻辑中自然演绎演算的证明和命题逻辑一致,但是需要增加新的规则,用于处理量词和相等符号。()第5题命题逻辑和谓词逻辑中的有效性判定问题都是可判定的。()章节测试第1题考虑图1的迁移系统(S,→,L),其中,S集合为{s0,s1,s2,s3},状态转移关系为(s0,s0),(s0,s1),(s0,s3),(s1,s2),(s2,s1),和(s3,s2),标记函数为L(s0)={r},L(s1)={p,r},L(s2)={q,r},L(s3)={p,q},模型图如下:下面哪个CTL公式满足状态s0:()AAF(q∧r)BAG(p→AF(p∧r))CA[rUq]DAG(p→AG(p∨q))EAGEF┐r正确答案：BD第2题下列是合式CTL公式的是:()AAFGrBA┐G┐pCF[rUq]DEXr第3题对于图2模型,检测LTL公式是否成立M,S0╞Xr()第4题对于图2模型,检测LTL公式是否成立M,S0╞GFp()第5题对于图2模型,检测LTL公式是否成立M,S1╞Gr()第6题对于图2模型,检测LTL公式是否成立M,S0╞FGr()第7题对于图2模型,检测LTL公式是否成立M,S2╞G(r→Fp)()第8题对于图2模型,检测LTL公式是否成立M,S0╞AFq()第9题对于图2模型,检测LTL公式是否成立M,S2╞AG(EF(p∧r))()第10题对于图2模型,检测LTL公式是否成立M,S0╞EX(EXr)()第11题对于图2模型,检测LTL公式是否成立M,S2╞AXr()第12题对于图2模型,检测LTL公式是否成立M,S2╞AG(AFq)()章节测试第1题下列哪个陈述不是命题?()A"今天是星期天。"B"x+y=10。"C"如果p,则q。"D"所有学生都喜欢学习。"第2题设个体域A={a,b},则谓词公式∃x(F()∧G())消去量词后,可表示为()A(F(a)∧F(b))∨(G(a)∧G(b))B(F(a)∨F(b))∧(G(a)∨G(b))C(F(a)∧G(a))∨(F(b)∧G(b))D(F(a)∨G(a))∧(F(b)∨G(b))第3题设D:全总个体域,F():x是花,M():x是人,H(x,y):x喜欢y,则命题“有的人喜欢所有的花”的逻辑符号化为()A∀x(M(x)∧∃y(F(y)→H(x,y)))B∀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)))第4题设个体域D={2},P():x>3,Q():x=4,则谓词公式∃x(P()→Q())为()A永真式B永假式C可满足式D无法判定第5题模型检测主要适用于什么类型的系统?()A有限状态系统B无限状态系统C分布式系统D实时系统第6题假设x出现在公式Φ中,那么x在Φ中一定是自由的,或者一定是受约束的。()第7题命题逻辑中,蕴含关系(→)可以用其他逻辑运算符来等效表示,例如"(p→q)"可以等效表示为"¬p∨q"。()第8题在谓词逻辑中,量词的顺序是可以交换的,即"∀x∀yP(x,y)"与"∀y∀xP(x,y)"是完全等价的。()第9题假设Φ是命题公式,那么Φ是可满足的,当且仅当¬Φ不是有效的。()第10题程序部分正确性证明的蕴含规则允许前置条件被扩大(增强),后置条件被缩小(减弱)。()第11题有限状态机的状态爆炸问题是指在模型检测中,系统状态空间过于庞大而难以处理的情况。()第12题使用不变式()是一种在程序验证中常用的方法,用于证明程序在执行过程中保持某些性质不变。()章节测试第1题在模态逻辑中,"必然"通常表示什么?()A可能发生B必须发生C不可能发生D可能发生,但不一定会第2题在模态逻辑中,如果一个陈述是"必然是真的",那么它一定是什么?()A也是"可能真的"B也是"不可能真的"C不一定是"可能真的"D不一定是"不可能真的"第3题下列哪个模态逻辑操作符表示"可能发生,但不一定会"?()A◊B□C¬D∧第4题下列哪个句子是模态逻辑中的合法陈述?()A"如果今天是星期天,那么明天一定是星期一。"B"明天可能下雨,也可能不下雨。"C"我喜欢香蕉,但不喜欢苹果。"D"所有猫都是哺乳动物。"第5题并非所有经常锻炼身体的人身体都必然健康,保持阳光心态,注意心理卫生才能身体健康。由此可见下列哪个选项正确?()A身体健康身体就不健康。B有些经常锻炼身体的人身体可能健康。C不经常锻炼身体的人有些可能是健康的。D有些经常锻炼身体的人身体可能不健康。第6题"双重否定法则"在模态逻辑中表示什么?()A如果一个陈述是真的,那么它的否定也是真的B如果一个陈述是假的,那么它的否定也是假的C如果一个陈述是必然真的,那么它的否定也是必然真的D如果一个陈述是可能真的,那么它的否定也是可能真的第7题什么是Kripke模型在模态逻辑中的作用?()A定义逻辑公理B描述不同可能世界之间的关系C定义真值表D描述时间关系第8题"□(A→B)"在模态逻辑中通常表示什么?()AA和B一定成立BA和B可能成立CA和B一定不成立DA和B可能不成立第9题在模态逻辑中,什么是"模态范式"?()A一个特定的逻辑系统B一种探讨现实世界的哲学方法C模态操作符的语法规则D一种音乐风格第10题模态逻辑通常用于研究哪些类型的关系?()A数学关系B语义关系C时态关系D变量关系第11题模态逻辑可以用于分析哪些类型的命题?()A必然真实的命题B可能真实的命题C不确定的命题D错误的命题正确答案：ABC第12题模态逻辑用于研究哪种哲学问题?()A可能性B必然性C数学证明D时间旅行正确答案：AB第13题在模态逻辑中,"必然性"操作符和"可能性"分别表示什么?()A某个命题在所有可能的世界中都是真实的B某个命题在某些可能的情况下是真实的C某个命题在所有现实世界中都是真实的D某个命题在未来可能发生正确答案：AB第14题某个陈述只有在它在所有可能的世界中都为真时才被认为是必然的。()第15题模态逻辑是一种只关注可能性和必然性的逻辑形式,不考虑其他逻辑运算。()第16题在模态逻辑中,"可能性"()操作符表示某个陈述在所有可能的世界中都是真实的。()第17题"可能性"操作符允许我们表达某个陈述在某些可能的情况下是真实的,但不强调它在每一个可能的情境中都是真实的。()第18题模态逻辑可以用于研究命题之间的条件关系。()第19题模态逻辑中的"可能世界"是指未来的世界。()章节测试第1题一个布尔函数有n个变量,若用真值表表示,则需要多少行?()A2nBnC2^nD2n-1第2题一个布尔函数有n个变量,若用二叉判定树表示,则需要多少个节点?()A2^(n+1)-1B2^nC2nD2n-1第3题下列哪项与布尔函数f[0/y](x,y)=x*(y+x)是语义等价的?()AyBxCx+yDx*y第4题下列各项中,能够用来描述布尔函数的有()A二叉判定树B命题公式C真值表D二叉判定图正确答案：ABCD第5题下列各项中,关于二叉判定图描述正确的有()A二叉判定图的可以唯一地表示一个布尔函数B二叉判定图是在二叉判定树的基础上,消除冗余结点而得到的C二叉判定图是一个具有唯一初始结点的有限无环有向图D二叉判定图是最简化的表示方式,不存在冗余正确答案：BC第6题下列各项中,能将二叉判定图化简成更紧凑形式的方法有()A去掉重复的终止结点B去掉重复的根节点C去掉冗余的测试D去掉重复的非终止结点正确答案：ACD第7题同