您的位置:考研教育网> >历年试题>考研专业课> 正文

北京航空航天大学1999年考研数理逻辑试题

   2004-08-13 00:00 【 】【我要纠错

  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分)

  用归结法证明以下推理是正确的。

  每个作家都写过作品。有的作家没有写过小说。

  因此,有的作品不是小说。

◇ 编辑推荐
·2015年考研复习:政治 英语 数学  专业课 · 2014年考研真题及答案汇总   历年考研真题
· 考研网上辅导热招!  ·2015年考研报考指南   ·历年考研国家分数线汇总   复试信息
相关热词:
考研网上辅导课程 特色班 精品班 实验班
学费 购买 学费 购买 学费 购买
公共课 政 治 800元 购买 1500元 购买 3500元 购买
英 语 800元 购买 1500元 购买 3500元 购买
数 学 800元 购买 1500元 购买 3500元 购买

专业课

视频

《管理类联考综合》、《会计学》、《中医综合》、《西医综合》、《法硕联考综合(法学)》、
《法硕联考综合(法学)》、《法硕联考专业基础(法学)》、《法硕联考专业基础(非法学)》

专业课

资料

952所考研院校、57300个招生专业、245000份考研辅导课件、核心纲要、考研笔记、内部题库现正热卖!

说明 专业课请到考研开放平台上注册及缴费----帮助