2016考研计算机冲刺考点梳理:形式逻辑命题推理基本规则

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

  【 命题推理基本规则】

  一、 “→” :“则”的推理规则

  约定:在“p®q”中,p称为“前件”,q称为“后件” 。

  “®”的规则是:

  肯定前件可以肯定后件; 否定后件可以否定前件;

  否定前件不能确定后件; 肯定后件不能确定前件。

  a. 条件关系的推理,不论是处理充分条件,还是处理必要条件,依据关于“®”的规则就可以了。解题中,处理条件关系的步骤是:

  第一,用“®”准确地表示日常语言用各种方式陈述的条件关系;

  第二,正确运用“®”的规则。

  二、 肯定前件式(有效式) 否定后件式(有效式)、否定前件式(无效式) 肯定后件式(无效式)

  【思考】以下推理是否成立?为什么?

  1. 只有调查,才有发言权。我调查了,当然有发言权。

  2. 是老头,则一定是老人。老张不是老头,所以老张不是老人。

  3. 除非有作案动机,否则不可能作案。某甲没有作案动机,所以,他不可能作案。

  4. 能被6整除,则一定能被2整除。12能被2整除,所以12一定能被6整除。

  三、 “∨” :“或”的推理规则

  否定肯定式(有效): A或者B,现在 非A ,所以B

  肯定否定式(无效)

  1. “要么,…要么”:“斥”的推理规则

  否定肯定式(有效),肯定否定式(有效)

  2. 二难推理

  A ® C ,ØA ® D,A∨ØA(可以是隐含的) 所以,C∨D

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

2016考研计算机冲刺考点梳理:形式逻辑命题推理基本规则相关推荐

最新推荐
热门推荐