2016计算机冲刺考点梳理:形式逻辑四个重要等值公式

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

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

  【 四个重要的等值公式】

  Ø(AÙB)=(ØAÚØB) Ø(AÚB)=(ØAÙØB)

  Ø(A®B)=(AÙØB) (AÚB)= (ØA®B)

  一、“则”的否定:一个在解题中多有应用的公式

  Ø(A®B)=(AÙØB)

  ☆“或”与“则”的等值置换

  AÚB = ØA®B A®B= ØAÚB

  第一,保持右件(后件)公式不变;

  第二,改变左件(前件)公式的否定符。口诀:头负尾抄

  二、 主要相关题型:

  1.判定哪项是反对意见实际上同意的。

  2.判定哪两种观点互相矛盾。

  3.判定在何种情况下某顶承诺没有兑现。

  【思考】分别指出在何种情况下以下各项承诺没有兑现:

  1. 不提拔李,但提拔赵

  2. 李和赵至少提拔一人

  3. 除非不提拔李,否则提拔赵

  4. 如果提拔李,就不能提拔赵

  5. 李和赵至多提拔一人

  6. 只有提拔李,才提拔赵。

  7. 或者罚款,或者停业

  8. 要么罚款,要么停业

以上是小编为大家整理好的有关考研的资料,希望对大家有所帮助!如有疑问请关注应届毕业生网!

最新推荐
热门推荐