第二章测试1.设A = {a, b, c}, B = {0, 1},A到B的不同的关系的数量为( )。
A:6
B:64
C:16
D:9
答案:B
2.设R为A到B 的关系, 下列命题为真的是( )。
A:ran R = dom R
B:ran R = B
C:dom R
AD:dom R=A
3.若A、B为非空有限集，R₁和R₂为从A到B的二元关系，且R₁=R₂则下列命题为真有( )。
A:dom R₁ = dom R₂
B:
C:
D:ran R₁ = dom R₂
4.R为A到B的关系,则一定有dom R=A。( )
A:错 B:对 5.
R为A到B的关系,下列命题为真的是（ ）
A:R∈A×B B:RÍP(A×B) C:R∈P(A×B) D:RÍA×B 1.下列属于命题的是（ ）。
A:小明和小王是朋友。
B:快出去！
C:这个命题是假的。
D:今天你吃饭了吗？
2.下列不能用蕴含联结词表示的是（ ）
A:因为你是我朋友，所以我请你吃饭。
B:如果明天下雨，那么我将在家休息。
C:尽管我没时间，但我还是跑步去了。
D:除非我有时间，否则我不去跑步。
3.下列说法正确的是（ ）。
A:主析取范式和主合取范式是互补的
B:析取范式是唯一的
C:同一命题的主析取范式和主合取范式不可能同时存在
D:主析取范式中可能存在极大项
4.若前提A能够推理出B，那么
一定是（ ）。A:矛盾式
B:可满足式
C:不确定
D:永真式
5.下列不属于命题逻辑推理框架的是（ ）。
A:直接证明法
B:逆向证明法
C:归谬法
D:附加前提证明法
1.设P(u)：u是运动员，Q(u)：u是大学生。则命题“存在运动员是大学生”被翻译为（ ）。
A:∃x(P(x)→Q(x)) B:∃x(P(x)∨Q(x)) C:∃x(P(x)∧Q(x)) D:∃xQ(x) 2.设P和Q是谓词，则下列字符串（ ）是一元命题函数。
A:P(u, u)→Q(v) B:∃xQ(x) C:∃x(P(u, x)∨Q(u)) D:P(u, v)∧Q(u) 3.下列字符串（ ）是谓词公式。
A:∃x∀xP(x, x) B:P(u, v)∧Q(u) C:∃xP(x, x) D:¬P(u, u)→Q(v) 4.对于公式¬∃x(¬P(u, x)→∀yQ(y))，∃x的作用域是（ ）。
A:¬P(u, x) B:¬P(u, x)→∀yQ(y) C:P(u, x)→∀yQ(y) D:P(u, x) 5.公式¬∃x(¬P(u, x)→∀yQ(y))的前束范式是（ ）。
A:∀x∃y (¬P(u, x)∧¬Q(y)) B:∀x∀y (¬P(u, x)∧¬Q(y)) C:∀x∀y (¬P(u, x)→Q(y)) D:∀x∃y (¬P(u, x)→Q(y)) 6.由两个前提∀x(A(x)→B(x))和∀x(¬B(x))不能推理得到（ ）。
A:∀x(¬A(x)) B:¬A(u) C:¬∀xA(x) D:∃xA(x) 1.
A:
永真式
B:无法确定
C:非永真式的可满足式
D:矛盾式
2.设个体域为整数集，下列公式中其真值为1的是
A:
A:
下面给出的一阶逻辑等价式中，错误的是
A:
A:
A:与谓词变元和论述域都有关 B:与谓词变元有关，与论述域无关 C:与谓词变元和论述域都无关 D:与谓词变元无关，与论述域有关 7.
A:
A:
无法确定
B:
A:
A:
A:
A:
A:
A:
A:
的类型为矛盾式。（ ）A:对 B:错 2.设B为含命题变项p, q, r的重言式，则公式
的类型为矛盾式 。（ ）A:错 B:对 3.设p, q为命题变项，则
的成真赋值为01 ；10 。（ ）A:对 B:错 4.设p,q 为真命题，r, s为假命题，则复合函数
的成真赋值为1.（ ）A:对 B:错 5.矛盾式的主析取范式为0.（ ）
A:对 B:错 1.设L(x,y):x大于y，则L(x,y)是一个命题。 （ ）
A:错 B:对 2.在一阶逻辑中将命题符号化时，针对不同的个体域，同一个命题符号化之后的结果可能相同也可能不同。 （ ）
A:对 B:错 3.给定解释N如下：
在解释N下，下面公式中真命题有（ ）。
A:
B:
C:
D:
4.下列公式中，逻辑有效式是（ ）。
A:
B:
C:
D:
5.在一阶逻辑中，任何合式公式都存在与之等值的前束范式，并且前束范式是唯一存在的。（ ）
A:对 B:错 6.每列火车都比某些汽车快。
，
则该命题符号化为（ ）A:
B:
C:
D:
7.给定解释I如下：
下列公式为真的是（ ）
A:
B:
C:
D:
10.
，请问哪几个正确（ ）A:
B:
C:
D:
1.
设
= {1, 2, 3}, 上二元关系
= {(1, 1)，(2, 2), (1, 3)}，则关系的对称闭包
是( )
A:
设
, 
是
上恒等关系，要使
为上的等价关系, 
应取( ).
A:
设
和
是集合
上的相容关系，下列关于复合关系
的说法正确的是( )
A:
可能是也可能不是相容关系
一定是等价关系
C:一定是相容关系
D:一定不是相容关系
4.设
偏序集的哈斯图见下图, 
的上确界和下确界分别为( ).
A:
若
, 则
上的关系共有( )个.
A:8 B:32 C:4 D:16 6.
设
= {0, 1, 2, 3, 4}，上的关系
，则
= ( ).
A:
{ (0, 1), (2, 1), (2, 3), (3, 4)}
B:{(0, 1), (1, 2), (2, 1), (2, 3), (2, 4), (3, 4)}
C:{(0, 0), (0, 1), (1, 2), (2, 1), (2, 3), (2, 4), (3, 4)}
D:{(0, 0), (1, 0), (1, 2), (2, 1), (2, 4), (3, 2), (4, 3)}
7.设
，则下述结论正确的是( ).
A:
若
和
是自反的，则
是自反的.
若和是传递的，则
是传递的.
若和是对称的，则
是对称的.
若和是反对称的，则是反对称的.
设
，
上二元关系的关系图如下, 具有的性质是（ ）
A:
自反性
B:传递性
C:反自反性
D:对称性
9.设集合
= {1, 2, 3, 4, 5}上的关系
，则
的性质是( ).
A:
反自反的、传递的
B:自反的
C:对称的、传递的
D:对称的
10.设
, 
上关系
，则
的运算结果是（ ）.
A:
的否定式是( ).A:
B:(
C:
D:
.2.谓词公式(
x)(P(x))→(
z)Q(x,z)∧(y)R(x,y)中变元y( )A:既是自由变元又是约束变元
B:既不是自由变元又不是约束变元
C:是约束变元但不是自由变元
D:是自由变元但不是约束变元
3.设
：
是鸟，
：
会飞，命题“没有不会飞的鸟”符号化为( )A:
B:
C:
D:
4.谓词公式设
是永真的. （ ）A:对 B:错 5.设个体域是整数集合，P代表
，P是假命题. （ ）A:错 B:对 6.下列公式是前束范式的是（ ）
A:
B:
C:
D:
7.下述推理证明过程中，正确的是（ ）。
A:
B:
C:
D:
8.以下谓词推理不正确的是（ ）
A:
B:
C:
D:
9.下列推理式不正确的是（ ）
A:
B:
C:
D:
10.
以下谓词推理说法正确的是（ ）。
A:
