河南科技大学考研真题652离散数学答案2013.docVIP

河南科技大学 2013年硕士研究生入学考试试题答案及评分标准 考试科目代码： 652 考试科目名称： 离散数学 一、单项选择题(本大题共15小题，每小题2分，共30分) 在每小题列出的备选项中只有一个是符合题目要求的，错选、多选或未选均无分。 1-5：A D C 6-10： 1或真 2. 01，10 3. 反对称 、 传递 4. 5. 6. 7. 3 、 1 8. 9. 1 10. 三、计算题(本大题共5小题，每小题8分，共40分) 1．利用等值演算化简命题公式A，并指出A的类型(注：重言式、矛盾式或可满足式) A= 解：A= (1分) (1分) (1分) (1分) (1分) (1分) 所以，A是可满足式 (2分) 2．设f是一元运算，P是一元谓词，Q是二元谓词，给出解释I：D={2, 3}，f(2)=3，f(3)=2，P(2)=1，P(3)=0，Q(2, 2)=Q(3, 3)=1，Q(2, 3)=Q(3, 2)=0，求在解释I下xy(Q(f(x), y))