选择题1.设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为(B)A）p→qB）q→pC）p→┐qD）┐p→q2.设解释I如下，个体域D={a,b},F(a,a）=F(b,b)=0,F(a,b)=F(b,a）=1，在解释I下，下列公式中真值为1的是(A)A）VxヨyF(x,y)B）ヨxVyF(x,y)C）VxVyF(x,y)D）┐ヨxヨyF(x,y)3．下列命题公式中不是重言式的是（A）A．p→(q→r)B．p→(q→p)C．p→(p→p)D．(p→(q→r))(q→(p→r))4.关于谓词公式（x）(y)(P(x,y)∧Q(y,z))∧(x)p(x,y),下面的描述中错误的是（B）A．（x）的辖域是（y）（P（x,y）∧Q(y,z)）B．z是该谓词公式的约束变元C．（x）的辖域是P（x,y）D．x是该谓词公式的约束变元5.设A={1，2，3，4，5}，A上二元关系R={〈1，2〉，〈3，4〉，〈2，2〉}，S={〈2，4〉，〈3，1〉，〈4，2〉}，则S-1R-1的运算结果是（A）A．{〈4，1〉，〈2，3〉，〈4，2〉}B．{〈2，4〉，〈2，3〉，〈4，2〉}C．{〈4，1〉，〈2，3〉，〈2，4〉}D．{〈2，2〉，〈3，1〉，〈4，4〉}6、设R,S是集合X={1,2,3,4}上的两个关系，其中R={,,,},S={,,,,}。则S是R的（B）闭包。A.自反B.对称C.传递D.以上都不是7、设集合A={1,2,3}，A上的关系R={,}，则R不具有（A）性质。A.自反性B.对称性C.传递性D.反对称性8、设命题公式G=(P→Q),H=P→(Q→P)，则G与H的关系是(答案没写全)A.GHB.HGC.可满足D.以上都不是9、设G=xP(x),H=xP(x)，则G→H是(题目没写全)A.永真的B.永假的C.可满足的D.以上都不是10、设论域E={a,b}，且P(a,a)=TP(a,b)=FP(b,a)=TP(b,b)=F则在下列公式中真值为T的是(答案没写全，和第二题类似)A.xyP(x,y)B.xyP(x,y)C.xP(x,x)D.xyP(x,y)11、设A={a,{a}},下列式子中正确的有（A）。A.{a}∈ρ(A)B.a∈ρ(A)C.{a}ρ(A)D.以上都不是12、设R,S是集合X={1,2,3,4}上的两个关系，其中R={,,,},S={,,,,}。则S是R的（B）闭包。A.自反B.对称C.传递D.以上都不是13、设集合A={a,b}，A上的关系R={,}，则R是（C）A.是等价关系但不是偏序关系B.是偏序关系但不是等价关系C.既是等价关系又是偏序关系D.既不是等价关系又不是偏序关系14、G是连通的平面图，有5个结点，6个面，则G的边数为（D）A.6B.5C.11D.915.下列关系矩阵所对应的关系具有自反性的是（答案不全）A．B.C.D.
温馨提示：答案为网友推荐，仅供参考