学海网

聊城大学计算机学院09—10学年第1学期期末考试2008级1、3班《离散数学》试题（闭卷A卷）
一、判断题（对的打“”，错的打“”，每小题2分，共20分）
1、若p、q为命题，则 ┐(P→q)∧q为予盾式。 ( )
2、谓词公式 xF(x) →(x$yG(x,y)→xF(x))是予盾式。 ( )
3、若A，B为集合，则A–B=B–A的充分必要为A=B=Ф。 ( )
4、设A,B,C,D是任意集合，则(A∪B)×(C∪D)≠(A×C)∪(B×D)。 ( )
5、如果关系R1和R2是对称的，则R1∪R2也是对称的。 （ ）
6、集合的幂集P（B）关于集合的交运算构成群。 ( )
......
聊城大学计算机学院09-10学年第1学期期末考试2008级1、3班《离散数学》试题（闭卷B卷）
一、判断题（对的打“”，错的打“”，每小题2分，共20分）
1、若p、q为命题，则（p∨q)→（p∧q）为重言式。 ( )
2、谓词公式 ┐(F(x,y)→R(x,y))∧R(x,y)是永真式。 ( )
3、若A，B为集合，则A=B的充分必要为A-B=B-A ( )
4、设A,B,C,D是任意集合，则(A∩B)×(C∩D)=(A×C)∩(B×D)。 ( )
5、如果关系R1和R2是传递的，则R1∪R2也是传递的。 ( ）
......