精华区 [关闭][返回]

当前位置:网易精华区>>讨论区精华>>教育园地>>● 考研论坛>>◇ 考 研 题 库 ◇>>数学类>>北京航空航天大学1999年研究生入学考试试题:数理逻辑

主题:北京航空航天大学1999年研究生入学考试试题:数理逻辑
发信人: caeser_zy(^*^金牛座BB仔)
整理人: jasminwen(2003-04-13 18:16:55), 站内信件
北京航空航天大学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分)
用归结法证明以下推理是正确的。
每个作家都写过作品。有的作家没有写过小说。
因此,有的作品不是小说。




----
    

[关闭][返回]