资源大小:0.1-10.0 MB
资源类型:rar
发布时间:2018-9-1 5:37:36
资源评分:★★★
资源简介:北京航空航天大学数理逻辑1999年考研真题考研试题
北京航空航天大学 1999 年研究生入学考试 数理逻辑试题 (共 40 分) 1 (10 分) 在谓词逻辑中将下列命题符号化: ① 过任意两点恰有一条直线。 ② 每个不小于 6 的偶数都是两个奇素数之和。 2 (10 分) 以下公式是不是永真式、永假式?为什么? ① (p→q)Ú(q→r)→((pÚq)→r), ② ("xP(x)→"xQ(x))→"x(P(x)«Q(x))。 3 (10 分) 以下等值式成立吗?为什么? ① (pÙq)Ú(ØpÙr)Ú(qÙr)Û(pÙq)Ú(ØpÙr), ② $xP(x)«$xQ(x)Û$x(P(x)«Q(x))。 4 (10 分) 用归结法证明以下推理是正确的。 每个作家都写过作品。有的作家没有写过小说。 因此,有的作品不是小说。
它是全国研究生入学考试考过的真题试卷,属已解密信息,对于报考相关专业考生来说,统考专业课(业务课)科目考研真题对于专业课的复习是非常重要的,因为通过研究真题除了能了解到什么知识点最重要,考哪些题型之外还能给我们反映出老师出题的难度如何,考试考点及重点范围有哪些,每个知识点的历年出题频率,每个章节的分值比重,各个章节的出题比重,每年都要反复考的知识点等等。考试真题的重要性是任何的习题资料都高,比起网上流行的所谓“复习题笔记讲义”(少数除外,大部分都是以同一资料冠以不同学校名称冒充的资料),真题真实性高、渠道权威、试题原版扫描保证清晰。在考博信息网的考试资料体系中,也是把专业课真题作为最为核心、最为重要的资料提供给大家的。
|