1/5北京化工大学试卷2004
6离散数学（参考答案）一、填空题（共10分，每小题2分）1
xF(x)→yG(y,z)的前束范式是xy(F(x)→yG(y,z))
(p→q)∨p是（永真/永假/可满足）永真式
设全集E={1,2,3,4,5,6}，其子集A={1,4},B={1,2,5}，则A∩~B={4}
设集合M={a,b,c,d,e}，则M上一共有52个不同的等价关系
设f：N×N→N，f()=x+y+1，令A={|x,y∈N且f()=3}，则A的列举法表示为A={,,}
二、判断题（共10分，每小题2分，正确的在题号前打，错误的在题号前打×）(√)1
设X={a,b,c,d}，Y={1,2,3}，f={,,}，则f是从X到Y的二元关系，但不是从X到Y的函数
已知A和B为两个集合，且AB，则AB一定为假
设p,q,r,s为命题公式，如果pq且rs，则p∧rq∧s
一个谓词公式，如果量词均出现在全式的开头，则称该谓词公式为前束范式
设R是A上的自反关系，且当∈R和∈R时，必有∈R，则R是A上的等价关系
三、选择题（共10分，每小题2分）1
设个体域为整数集，P(x,y)：x+y=1，Q(x,y)：x×y>0，下列命题为真的是（A）
A、xyP(x,y)B、xyP(x,y)C、xyQ(x,y)D、xyQ(x,y)2
设R是集合A上的自反关系，则下列叙述中不成立的是（C）
A、RR-1一定是A上的自反关系B、RR-1一定是A上的对称关系C、RR-1一定是A上的传递关系2/5D、仅有A和B是正确的3
下列命题真值为真的是（A）
A、2>3当且仅当5>7B、2>3当且仅当5
