安徽科技学院《离散数学》2018-2019学年第一学期期末试卷.pdfVIP

安徽科技学院《离散数学》2018-2019学年第一学期期末试卷 学院： 专业： 考号： 姓名： 成绩 一．判断题  （25分） (       )1.对任意的命题公式 A , B , C ,  若  A Ÿ C ¤ B Ÿ C ,  则 A ¤ B ；  (       )2.(  x) （P(x)→Q(x)）  (  x)P(x)→(  x)Q(x)；  (        )3.在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是唯一 的；  (       )4. （ÿp⁄ÿq）Æ(pÆÿq)不是重言式；  (       )5.命题函数是命题。  (       )6.若 P （A）为 A 的幂集，则 P （A«B）= P （A）«P （B）；  (       )7.设 A，B，C是 Q 的子集，则有 A¥(BC) （A¥B） （A¥C）；  2  (       )8.若 R 为集合 A上的非对称关系，则 R  亦然。  (        )9.存在一种建立在某个集合上的关系，它可以是对称的、反对