2016考研计算机冲刺考点梳理:形式逻辑5个基本概念

发布时间:2017-11-20 编辑:yangjie

  计算机考研专业课复习科目包括数据结构、操作系统、计算机组成原理、计算机网络四门课程。其中数据结构这一科目兼具理论与实践,要求同学们在复习过程中不仅要对教材的基本概念进行记忆,同时还要结合知识点掌握相应的实际操作知识。

  【 条件关系 、 充分条件 / 必要条件】

  A是B的充分条件 = 如果A真,则B真

  = (通常表述为)有A一定有B

  A是B的必要条件 = 如果A假,则B假

  =(通常表述为)无A一定无B

  如果A是B的充分条件,则B是A的必要条件。反之亦然。

  1、条件关系的四种情况:

  a.充分但不必要 b. 必要但不充分 c.充分必要 d.不构成条件关系

  2.、条件关系的日常语言表达

  A是B的充分条件:如果A,那么B;只要A,就B;可以统称为“则”。

  A是B的必要条件:只有A才B;除非A,否则不B;…

  3、用“®”准确表达(充分/必要)条件关系

  “A®B”表示:(1)A是B的充分条件;(2)B是A的必要条件。

  如果A,那么B = A®B 只有A,才B = B®A

  4.、逆否式 A®B = ØB®ØA

  5、准确刻画 “除非…,否则”

  “(除非)…,否则…”的意思是:“如果否定…,则…”。

  “…,否则…”= “Ø…®…”

  除非 A,否则B = ØA®B 除非 A,否则不B = ØA® ØB

  除非不 A,否则B = A®B 除非不A,否则不B = A® ØB

  A,否则B = 除非A,否则B A,除非B = 除非B,否则A

  【思考】 用“®(及Ø)”表示下列条件关系:

  1. 有A,就不会没B。

  2. 只要有A,就不会有B。

  3. 如果没A,就不会有B。

  4. 要有A,必须有B。

  5. 只有无A,才有B。

  6. 除非没A,否则一定有B。

  7. 无B,除非有A。

  8. 有B,否则无A。

  9. A和B至少有一,否则C。

  10. 只要A和B都有,就不会没C。

2016考研计算机冲刺考点梳理:形式逻辑5个基本概念相关推荐

最新推荐
热门推荐