精华内容
下载资源
问答
  • 一、推理的形式结构 、 二、推理定律 、 1、附加律 、 2、化简律 、 3、假言推理 、 4、拒取式 、 5、析取三段论 、 6、假言三段论 、 7、等价三段论 、 8、构造性两难 、





    一、推理的形式结构



    推理的形式结构

    前提 : A 1 , A 2 , ⋯   , A k A_1 , A_2 , \cdots , A_k A1,A2,,Ak

    结论 : B B B

    推理的形式结构为 : ( A 1 ∧ A 2 ∧ ⋯ ∧ A k ) → B (A_1 \land A_2 \land \cdots \land A_k) \to B (A1A2Ak)B





    二、推理定律



    推理定律 : A , B A,B A,B 是两个命题 , 如果 A → B A \to B AB 是永真式 , 那么 A ⇒ B A \Rightarrow B AB ;



    1、附加律


    附加律 : A ⇒ ( A ∨ B ) A \Rightarrow (A \lor B) A(AB)

    根据 推理定律 , A → ( A ∨ B ) A \to (A \lor B) A(AB) 蕴含式 是 永真式 ;

    前提 : A A A

    结论 : A ∨ B A \lor B AB


    A A A 是对的 , 那么 A ∨ B A \lor B AB 也是对的 , 后者是在前者基础上附加了一个 B B B ;



    2、化简律


    化简律 : ( A ∧ B ) ⇒ A ( A \land B ) \Rightarrow A (AB)A , ( A ∧ B ) ⇒ B ( A \land B ) \Rightarrow B (AB)B

    根据 推理定律 , ( A ∧ B ) → A ( A \land B ) \to A (AB)A , ( A ∧ B ) → B ( A \land B ) \to B (AB)B 蕴含式 是 永真式 ;

    前提 : A ∧ B A \land B AB

    结论 : A A A B B B


    A ∧ B A \land B AB 是对的 , 那么 A A A B B B 也是对的 , 后者是在前者基础上进行了化简 ;



    3、假言推理


    假言推理 : ( A → B ) ∧ A ⇒ B ( A \to B ) \land A \Rightarrow B (AB)AB

    根据 推理定律 , ( A → B ) ∧ A → B ( A \to B ) \land A \to B (AB)AB 蕴含式 是 永真式 ;

    前提 : A → B A \to B AB , A A A

    结论 : B B B


    这是个典型的小三段论 ;



    4、拒取式


    拒取式: ( A → B ) ∧ ¬ B ⇒ ¬ A ( A \to B ) \land \lnot B \Rightarrow \lnot A (AB)¬B¬A

    根据 推理定律 , ( A → B ) ∧ ¬ B → ¬ A ( A \to B ) \land \lnot B \to \lnot A (AB)¬B¬A 蕴含式 是 永真式 ;

    前提 : A → B A \to B AB , ¬ B \lnot B ¬B

    结论 : ¬ A \lnot A ¬A


    可以理解为是反证法 ;



    5、析取三段论


    析取三段论 : ( A ∨ B ) ∧ ¬ A ⇒ B ( A \lor B ) \land \lnot A \Rightarrow B (AB)¬AB , ( A ∨ B ) ∧ ¬ B ⇒ A ( A \lor B ) \land \lnot B \Rightarrow A (AB)¬BA

    根据 推理定律 , ( A ∨ B ) ∧ ¬ A → B ( A \lor B ) \land \lnot A \to B (AB)¬AB , ( A ∨ B ) ∧ ¬ B → A ( A \lor B ) \land \lnot B \to A (AB)¬BA 蕴含式 是 永真式 ;

    前提 : A ∨ B A \lor B AB , ¬ A \lnot A ¬A

    结论 : B B B


    ( A ∨ B ) (A \lor B) (AB) 是正确的 , 其中 A A A 是错误的 , 那么 B B B 肯定是正确的 ;

    ( A ∨ B ) (A \lor B) (AB) 是正确的 , 其中 B B B 是错误的 , 那么 A A A 肯定是正确的 ;

    警察破案常用推理方式 , 逐一排除嫌疑人 ;



    6、假言三段论


    假言三段论 : ( A → B ) ∧ ( B → C ) ⇒ ( A → C ) ( A \to B ) \land ( B \to C ) \Rightarrow ( A \to C ) (AB)(BC)(AC)

    根据 推理定律 , ( A → B ) ∧ ( B → C ) → ( A → C ) ( A \to B ) \land ( B \to C ) \to ( A \to C ) (AB)(BC)(AC) 蕴含式 是 永真式 ;

    前提 : A → B A \to B AB , B → C B \to C BC

    结论 : A → C A \to C AC



    7、等价三段论


    等价三段论: ( A ↔ B ) ∧ ( B ↔ C ) ⇒ ( A ↔ C ) ( A \leftrightarrow B ) \land ( B \leftrightarrow C ) \Rightarrow ( A \leftrightarrow C ) (AB)(BC)(AC)

    根据 推理定律 , ( ( A ↔ B ) ∧ ( B ↔ C ) ) → ( A ↔ C ) ( ( A \leftrightarrow B ) \land ( B \leftrightarrow C ) ) \to ( A \leftrightarrow C ) ((AB)(BC))(AC) 蕴含式 是 永真式 ;

    前提 : A ↔ B A \leftrightarrow B AB , B ↔ C B \leftrightarrow C BC

    结论 : A ↔ C A \leftrightarrow C AC



    8、构造性两难


    等价三段论: ( A → B ) ∧ ( C → D ) ∧ ( A ∨ C ) ⇒ ( B ∨ D ) ( A \to B ) \land ( C \to D ) \land ( A \lor C ) \Rightarrow ( B \lor D ) (AB)(CD)(AC)(BD)

    根据 推理定律 , ( ( A → B ) ∧ ( C → D ) ∧ ( A ∨ C ) ) → ( ( B ∨ D ) ) ( ( A \to B ) \land ( C \to D ) \land ( A \lor C ) ) \to ( ( B \lor D ) ) ((AB)(CD)(AC))((BD)) 蕴含式 是 永真式 ;

    前提 : A → B A \to B AB , C → D C \to D CD , A ∨ C A \lor C AC

    结论 : B ∨ D B \lor D BD


    理解方式 :

    A A A 是发展经济 , B B B 是污染
    C C C 是不发展经济 , D D D 是贫穷

    A ∨ B A \lor B AB 要么发展经济 , 要么不发展经济
    结果是 B ∨ D B \lor D BD , 要么产生污染 , 要么忍受贫穷

    展开全文
  • 假言判断1) 假言判断: 又称条件判断, 是指某一事物情况的存在是另一事物情况存在的条件的判断。 例如: 只有年满18周岁,才有选举权。2) 假言判断的结构:  I. 假言肢,有两个: 一个作为条件的称为”前件”,一...

    假言判断

    1) 假言判断: 又称条件判断, 是指某一事物情况的存在是另一事物情况存在的条件的判断。
    例如: 只有年满18周岁,才有选举权。

    2) 假言判断的结构:
     I. 假言肢,有两个: 一个作为条件的称为”前件”,一个作为结果的称为”后件”。
     Ⅱ. 联结项,常见的三种形式 “如果…,那么…” , “只有…才…” , “…当且仅当…” 。

    3) 条件关系的分类:
     I. 充分条件:是指P、Q 这两种情况,有P就会有Q.
     Ⅱ. 必要条件 : P、Q 这两种情况, 没有P就不会有Q.
     Ⅲ. 充分必要条件 : 充分必要条件是指P、Q这两种情况,有P就会有Q,并且没有P就不会有Q.

    4) 假言判断的分类
     I. 充分条件假言判断就是断定事物情况之间存在充分条件关系的判断。充分条件假言判断逻辑形式。P → Q (→ 读 “如果…那么”)
     Ⅱ. 必要条件假言判断就是段英事物情况之间存在必要条件关系的判断。必要条件假言判断逻辑形式 : ¬P → ¬Q
     Ⅲ. 充分必要条件假言判断就是断定事物情况之间存在充分必要条件关系的怕短。充分必要条件假言判断逻辑形式: P 当且仅当 Q. (如果而且,只有…才, 如果…那么, 并且只有…才)

    5) 假言判断的逻辑值(真值表)

    a. 充分条件假言判断的逻辑值(真值表)

    PQP → Q


    b. 充要条件检验判断的真假情况可用下面的真值表表示:

    PQP 当且仅当 Q


    充要条件的假言判断真值表总结:同真异假


    假言推理

    假言推理就是以一个假言判断做大前提,一个简单判断做小前提。假言判断有三种不同的类型,所以,假言推理分为: 充分条件假言推理 、必要条件假言推理 、充要条件假言推理。

    1) 充分条件假言推理: 大前提是充分条件假言判断的三段论推理。推理规则如下:
     I. 肯定前件,就要肯定后件;否定后件,就要否定前件。
     Ⅱ. 肯定后件, 不能肯定前件;否定前件,不能否定后件。
     Ⅲ. 连锁推理 : 假言连锁推理又称纯假言推理, 它是两个或两个以上的假言命题做前提,推出一个假言命题的结论。例如:如果P,那么Q; 如果Q,那么R; 所以,如果P,那么R.

    2) 必要条件假言推理:大前提是必要条件假言判断的假言三段论推理。推理规则如下:
     I. 否定前件, 就要否定后件; 肯定后件,就要肯定前件。
     Ⅱ. 肯定前件,不能肯定后件; 否定后件,不能否定前件。

    3) 充分条件与必要条件之间的关系
     I. 如果P是Q的充分条件,那么Q就是P的必要条件。(P→Q) = (Q←P)
     Ⅱ. 如果P是Q的必要条件,那么Q就是P的充分条件。(P←Q) = (Q→P)

    4) 充要条件假言推理: 前提中有一个充分必要条件假言判断, 并根据充分必要条件假言判断的逻辑性质进行的推理。充分必要条件假言判断的逻辑性质是,条件的出现足以导致结果的出现,条件的缺失也足以导致结果的缺失。由此可以导出充要条件假言推理的规则。
     I. 肯定前件,就要肯定后件。肯定后件,就要肯定前件。
     Ⅱ. 否定前件,就要否定后件。 否定后件,就要否定前件。


    寄语

         这个世界是公平的,没有事情是可以徒劳而获的,一切都是御风而行。你若获得想要的东西,必须通过一段勤奋努力的岁月。而等你终于得到,一回头,你就会发现,原来难走的,都是上坡路啊。

    — 人民日报

    展开全文
  • 形式逻辑(05)假言判断 和 推理

    千次阅读 2020-06-17 10:48:51
    1 假言判断 @1 假言判断的定义:又称条件判断,是指断定某一事物情况的存在是另一事物情况存在的条件的判断。例如:如果喝酒,那么不开车;只有年满18周岁,才有选举权;当且仅当一个三角形等角,它才等边。(这里...

    本系列文章主要讲解 形式逻辑,系列文章总纲链接为:形式逻辑总纲


    本章节思维导图如下所示(思维导图 迭代了以前的章节):


    1 假言判断

    @1 假言判断的定义:又称条件判断,是指断定某一事物情况的存在是另一事物情况存在的条件的判断。例如:如果喝酒,那么不开车;只有年满 18 周岁,才有选举权;当且仅当一个三角形等角,它才等边。(这里有点类似于 高中数学的 命题,充分条件、必要条件、充分必要条件)。

    @2 假言判断的条件关系 分类如下:

    1. 充分条件:是指P、Q这两种情况,有P就会有Q,即P->Q。充分条件假言判断就是断定事物情况之间存在充分条件关系的判断。常见的联结词为:如果P那么Q
    2. 必要条件:是指P、Q这两种情况,没有P就不会有Q(而原命题与 逆否命题 同真同假,即 有Q 就会有P ),即Q->P。必要条件假言判断就是断定事物情况之间存在必要条件关系的判断。常见的联结词为:只有P才Q
    3. 充分必要条件:是指P、Q这两种情况,有P就会有Q,并且没有P就不会有Q,即P<->Q。充分必要条件假言判断就是断定事物情况之间存在充分必要条件关系的判断。常见的联结词为:P当且仅当Q

    补充说明:除非P否则Q <=> 如果非P则Q

    @2 假言判断 充分条件 必要条件、充分必要条件 真值表

    假言判断的充分条件假言判断的逻辑值可用下面的真值表图示(对于必要条件只是 P和Q变换下位置即可):

    充要条件假言判断的真假情况可用下面的真值表图示:

    @3 命题关系

    这里给出 原命题、否命题、逆命题和逆否命题 之间的关系,先解释以下几个命题:

    • 原命题:如果P则Q
    • 逆命题:如果Q则P
    • 否命题:如果非P则非Q
    • 逆否命题:如果非Q则非P

    原命题、否命题、逆命题和逆否命题的真假关系如下图所示:

    证明 原命题与逆否命题 同真同假,这里采用反证法,如下所示:

    设原命题为“若p则q”,则逆否命题为“若非q则非p”
    假设“原命题与其逆否命题具有相同的真假性”错误,则有“若p→q为真,则 非q→非p为假” 或 “若p→q为假,则 非q→非p为真”

    1. 若p→q为真,则 非q→非p为假。因为非q→非p为假,所以非q→p为真 这与 p→q为真 矛盾
    2. 若p→q为假,则 非q→非p为真。因为p→q为假,所以p→非q为真 这与 非q→非p为真 矛盾

    所以假设均不成立,所以原命题与其逆否命题具有相同的真假性,得证。

    @4 案例分析(特殊说明:因为假言判断的难度相对较大,因此 为了学习的更加扎实 ,这里给出的案例分析 也较多)

    1 如果进了中超,肯定花了大价钱。(逻辑转换:P->Q为真)如果以上为真,可能出现的情况是?(分析:123均为真,4为假,答案为D)

    1. 进了中超,花了大价钱。(逻辑转换:P真Q真,真,充分条件 真值表判定)
    2. 没进中超,没花大价钱。(逻辑转换:P假Q假,真,同上)
    3. 没进中超,花了大价钱。(逻辑转换:P假Q真,真,同上)
    4. 进了中超,没花大价钱。(逻辑转换:P真Q假,假,同上)
    • A.I。B.I和II。C.I和 III。D.I、II和 III。E.I、II、 III和 IV。

    2 如果天下雨,我就睡觉。(逻辑转换:P->Q为真)以下哪项说明我没有遵守这句话?(分析:ABCE均为真,D为假,答案为D)

    • A.天下雨,我睡觉。           (逻辑转换:P真Q真,真,充分条件 真值表判定)
    • B.天不下雨,我没睡觉。   (逻辑转换:P假Q假,真,同上)
    • C.天不下雨,我睡觉。       (逻辑转换:P假Q真,真,同上)
    • D.天下雨,我在玩游戏。   (逻辑转换:P真Q假,假,同上)
    • E.天没下雨,我在玩游戏。(逻辑转换:P假Q假,真,同上)

    3 小张承诺:如果天不下雨,我一定去听音乐会。(逻辑转换:P->Q为真) 以下哪项为真,说明小张没有兑现承诺? (分析:1为假,2 3 为真,答案为A)

    1. 天没下雨,小张没去听音乐会。(逻辑转换:P真Q假,假,充分条件 真值表判定)
    2. 天下雨,小张去听了音乐会。    (逻辑转换:P假Q真,真,同上)
    3. 天下雨,小张没去听音乐会。    (逻辑转换:P假Q假,真,同上)

    A.仅I。 B.仅II。C.仅III 。 D.仅I和II。E.I、II和III。

    4 陈先生在鼓励他孩子时说道:“不要害怕暂时的困难和挫折,不经历风雨怎么见彩虹?”他孩子不服气的说:“您说的不对。我经历了那么多风雨,怎么就没见到彩虹呢?”(逻辑转换:P经历风雨->Q没见彩虹 为真) 陈先生孩子的回答最适宜用来反驳以下哪项? (分析:B为假,A C D E为真,答案为B)

    • A.如果想见到彩虹,就必须经历风雨。    (逻辑转换:P假Q真,真,充分条件 真值表判定)
    • B.只要经历了风雨,就可以见到彩虹。    (逻辑转换:P真Q假,假,同上)
    • C.只有经历风雨,才能见到彩虹。(逻辑转换:如果见到彩虹,那么只有经历风雨<=>如果没经历过风雨,那么不会见到彩虹=> P假Q真,真,同上)
    • D.即使经历了风雨,也可能见不到彩虹。 (逻辑转换:P真Q真,真,同上)
    • E.即使见到了彩虹,也不是因为经历了风雨(逻辑转换:P假Q假,真,同上)

    5 小张是某公司营销部的员工。公司经理对他说:“如果你争取到这个项目,我就奖励你一台笔记本电脑或者给你项目提成。” (逻辑转换:P->Q为真)以下哪项如果为真,说明该经理没有兑现承诺?(分析:E为假,A B C D 为真,答案为E)

    • A.小张没有争取到这个项目,该经理没有给他项目提成,但送了他一台笔记本电脑。(逻辑转换:P假Q真,真,充分条件 真值表判定)
    • B.小张没有争取到这个项目,该经理没奖励给他笔记本电脑,也没给他他项目提成。(逻辑转换:P假Q假,真,同上)
    • C.小张争取到了这个项目,该经理给他项目提成,但并未奖励他笔记本电脑。(逻辑转换:P真Q真,真,同上)
    • D.小张争取到了这个项目,该经理奖励他一台笔记本电脑并给他三天假期。(逻辑转换:P真Q真,真,同上)
    • E.小张争取到了这个项目,该经理未给他项目提成,但奖励了他一台台式电脑。(逻辑转换:P真Q假,假,同上)

    6 在中国,只有富士山连锁(才)经营日式快餐。(逻辑转换:P 经营日式快餐->Q 只有富士山 为真) 如果上述断定为真,以下哪项不可能为真? (分析:1 3为真2为假,答案为B)

    1. 苏州的富士山连锁不经营日式快餐。(逻辑转换:P假Q真,真,充分条件 真值表判定)
    2. 杭州的樱花连锁店经营日式快餐。(逻辑转换:P真Q假,假,同上)
    3. 温州的富士山连锁经营韩式快餐。(逻辑转换:P假Q假,真,同上)
    • A.只有I。 B.只有II。C.只有III。 D.只有I和II。E.只有I、II和III。

    7 只有具有一定文学造诣且具有生物学专业背景的人,才能读懂这篇文章。(逻辑转换:P 读懂这篇文章->Q 具有一定文学造诣且具有生物学专业背景的人 为真 如果上述命题为真,以下哪项不可能为真?(分析:A B D E 为真 C为假,答案为C)

    • A.小张没有读懂这篇文章,但他的文学造诣是大家所公认的。(逻辑转换:P假Q不确定 生物学专业背景,真,充分条件 真值表判定)
    • B.计算机专业的小王没有读懂这篇文章。(逻辑转换:P假Q假,真,同上)
    • C.从未接触过生物学知识的小李读懂了这篇文章。(逻辑转换:P真Q假,假,同上)
    • D.小周具有生物学专业背景,但他没有读懂这篇文章。(逻辑转换:P假Q不确定文学造诣,真,同上)
    • E.生物学博士小赵读懂了这篇文章。(逻辑转换:P真Q不确定文学造诣,真,同上)

    8 李明、王兵、马云三位股民对股票 A 和股票 B 分别做了如下预测: (分析:假定 P:股票A 上涨,Q:股票B上涨)

    1. 李明:只有股票 A 不上涨,股票 B 才不上涨。(逻辑转换:非Q->非P <=>P->Q
    2. 王兵:股票 A 和股票 B 至少有一个不上涨。(逻辑转换:非P || 非Q 为真)
    3. 马云:股票 A 上涨当且仅当股票 B 上涨。(逻辑转换:P<=>Q)

    若三人的预测都为真,则一下哪项符合他们的预测? 真值表如下所示:

    PQP->Q(非 P) || (非 Q)(P <=>Q)

    如果他们预测都为真,(分析:通过真值表得出 只有 P假 Q假的情况下,三人预测均为真,所以答案为D)则:

    • A.股票 A 上涨,股票 B 才不上涨。
    • B.股票 A 不上涨,股票 B 上涨。
    • C.股票 A 和股票 B 均上涨。
    • D.股票 A 和股票 B 均不上涨。
    • E.只有股票 A 上涨,股票 B 才不上涨。

    9 当企业处于蓬勃上升时期,往往紧张而忙碌,没有时间和精力去设计和修建“琼楼玉宇”;当企业所有的重要工作都已经完成,其时间和精力就开始集中在修建办 公大楼上。所以,如果一个企业的办公大楼设计得越完美,装饰得越豪华,则该企业离解体 的时间就越近;当某个企业的大楼设计和建造趋向完美之际,它的存在就逐渐失去意义。这 就是所谓的“办公大楼法则”。以下哪项如果为真,最能质疑上述观点?(分析:本题是削弱题但涉及的是充分条件假言判断的逻辑性质。题干断定如果一个企业的办公大楼设计得越完美,装饰得越豪华,则该企业离解体的时间就越近。 A 选项则说办公大楼设计的美轮美奂却蒸蒸日上,即有条件没结果,与题干的断定是矛盾关 系,属最强的削弱。答案为A)

    • (A) 某企业的办公大楼修建得美轮美奂,入住后该企业的事业蒸蒸日上。
    • (B)一个企业如果将时间和精力都耗费在修建办公大楼上,则对其他重要工作就提入不足了。
    • (C)建造豪华的办公大楼,往往会加大企业的运营成本,损害其实际收益。
    • (D)企业办公大楼越破旧企业就越有活力和生机。
    • (E)建造豪华的办公大楼并不需要企业提供太多的时间和精力。

    2 假言推理

    @1 充分、必要、充要条件 推理

    假言推理就是以一个假言判断做大前提,一个简单判断做小前提。由于假言判断有三种 不同的类型,所以,假言推理分为:

    1. 充分条件假言推理:三段论推理(大前提:如果天下雨,那么路湿了;小前提:天下雨了,结论:路湿了),即P->Q
    2. 必要条件假言推理:转换为 充分条件推理:P<-Q <=> Q->P,比如:只有不开车,才喝酒<=>如果喝酒,那么不开车;只有年满 18 周岁,才有选举权。<=>如果有选举权,那么年满 18 周岁。
    3. 充要条件假言 推理:P<=>Q

    @2 连锁推理

    假言连锁推理又称纯假言推理,它是由两个或两个以上的假言命题作前提,推出一个假 言命题的结论。最简默行为:若P则Q;若Q则R->若P则R。

    @3 假言推理 案例

    充分条件假言推理练习:

    1 如果某人是杀人犯,案发时他在现场。(逻辑转换:若P则Q) 据此,我们可以推出( )。(分析:A B D E无法确定其真假,而C满足 若P则Q<=>若非Q则非P,所以答案为C)

    • A.张三案发时在现场,所以张三是杀人犯。(逻辑转换:若Q则P,不能确定)
    • B.李四不是杀人犯,所以李四案发时不在现场。(逻辑转换:若非P则非Q,不能确定)
    • C.王五案发时不在现场,所以王五不是杀人犯。(逻辑转换:若非Q则非P,真)
    • D.许六不在案发现场,但许六是杀人犯。(逻辑转换:若非Q则P,不能确定)
    • E.许六在案发现场,因此许六是杀人犯。(逻辑转换:若Q则P,不能确定)

    2 如果苇花飘飘,林溪就去观苇(若苇花飘飘,则林溪去观苇);如果温度很低,林溪就不去观苇(若温度低,则林溪不去观苇,原命题与逆否命题同真同假,所以 若林溪不去观苇,则温度不低);只有天空晴朗,林溪才去观苇(若林溪去观苇,则天气晴朗)。现在知道林溪去观苇了,根据以上陈述可以推知下列哪项?(分析:1 2 3均无法推断,只有4可推断,所以答案为C)

    1. 苇花飘飘。(无法推断)
    2. 温度很高。(注意:温度不低 =/= 温度高,所以不确定,无法推断)
    3. 风大。(无法推断)
    4. 天空晴朗。(可推断)
    • A.仅I。 B.仅II。C.仅IV。D.仅II和IV。 E.I、II、III和IV。

    3 如果他勇于承担责任,那么他就一定会直面媒体,而不是选择逃避;(若他勇于担任,则会直面媒体不逃避 同理:若不直面媒体而逃避 ,则 他不敢于担责)如果他没有责任,那么他就一定会聘请律师,捍卫自己的尊严。(若他没有责任,则他会聘请律师 同理:若他没有聘请律师,则他有责任 )可是事实上,他不仅没有聘请律师(可推断出:他有责任),现在逃得 连人影都不见了。(可推断出:他不敢于担责)根据以上陈述,可以得出以下哪项结论?(分析:综上 他有责任 并且 他不敢于担责,所以答案为E)

    • A.即使他没有责任,也不应该选择逃避。
    • B.虽然选择了逃避,但是他可能没有责任。
    • C.如果他有责任,那么他应该勇于承担责任。
    • D.如果他不敢承担责任,那么说明他责任很大。
    • E.他不仅有责任,而且他没有勇气承担责任。

    4 如果贯彻绝对公平,那么必然导致按劳分配(若贯彻绝对公平则按劳分配,推断出:若非按劳分配,则并未贯彻绝对公平);如果按劳分配,将出现贫富不均(若按劳分配则出现贫富不均,推断出:若贫富不再不均,则非按劳分配);只有税收不合理,才会出现贫富不均(若贫富不均,则税收不合理,推断出:若税收合理,则贫富不在不均)。当前我们的税收是合理的。 根据以上陈述,可以得出以下哪项结论?(分析:综上 税收合理->贫富不在不均->非按劳分配->并未贯彻绝对公平,只有答案A满足)

    • A.不能贯彻绝对公平。B.要实行按劳分配。C.出现了贫富不均。D.需要贯彻绝对公平。E.不可能出现贫富均等。

    必要条件假言推理练习:(转换为充分条件处理)

    5 只有通过身份认证的人允许上公司内网(若上公司内网,则是通过身份认证的人 推断出:若未通过身份认证,则无法上内网),如果没有良好的业绩就不可能通过身份认证(若业绩不好,则不能通过身份认证 推断出:若通过身份认证,则业绩好),张辉有良好的业绩而王伟没有良好的业绩(张业绩好,王业绩不好)。 如果上述断定为真,则以下哪项一定为真?(分析,除了B确定为真,其他命题 A CDE均无法确定为真,因此答案为B)

    • A.允许张辉上公司内网。逻辑推断:张业绩好,无法确定 通过身份认证等,因此无法推断)
    • B.不允许王伟上公司内网。(逻辑推断:王业绩不好->不能通过身份认证->无法上内网,为真)
    • C.张辉通过身份认证。逻辑推断:张业绩好,无法确定 通过身份认证等,因此无法推断)
    • D.有良好的业绩,就允许上公司内网。逻辑推断:业绩好 无法推断 该命题成立)
    • E.没有通过身份认证,就说明没有良好的业绩。(逻辑推断:若通过身份认证,则业绩好 为真,无法判定若非P则非Q为真)

    6 某日晚上张强要么去电影院看了电影,要么拜访了他的朋友秦玲,(非相容选言,必有一真)如果那天晚上张强开车回家,他就没去电影院看电影(若张开车回家,则张没看电影 同理推断出:若张看电影,则张没开车回家。只有张强事先与秦玲约定,张强才能去拜访她(若张拜访秦,则张事先与秦玲约定 同理推断出:若张事先未与秦玲约定,则张没有拜访秦), 事实上,张强不可能事先与秦玲约定。根据以上陈述,可以得出以下哪项?(分析:张事先未与秦玲约定->张没有拜访秦->张去电影院看了电影->张没开车回家,满足条件的只有C)

    • A.那天晚上张强与秦玲一道去电影院看电影。(逻辑推断:无法推断)
    • B.那天晚上张强拜访了他的朋友秦岭。(逻辑推断:根据分析->假)
    • C.那天晚上张强没有开车回家。(逻辑推断:根据分析->真)
    • D.那天晚上张强没有去电影院看电影。(逻辑推断:根据分析->假)
    • E.那天晚上张强开车去电影院看电影。(逻辑推断:根据分析->不确定是否 开车去电影院看电影)

    7 如果持有中国护照就可以去中国大使馆(若持有中国护照,则可以去中国大使馆 同理推断出:若不可以去中国大使馆,则未持有中国护照),只有中国公民才能持有中国护照(若持有中国护照,则是中国公民 同理推断出:若不是中国公民,则未持有中国护照 ),张三没有中国护照(张无中国护照)而王玥不是中国公民(王非中国公民)。 如果上述断定为真,则以下哪项一定为真?(分析:王非中国公民->未持有中国护照,其他无法推断,答案为C)

    • A.张三能去中国大使馆。B.张三不能去中国大使馆。C.王玥没有中国护照。D.王玥不能去中国大使馆。E.张三不是中国公民。

    8 某电路中有 S、T、W、X、Y、Z 六个开关,使用这些开关必须满足下面的条件:

    1. 如果 W 接通,则 X 也要接通;(逻辑转换:若W通,则X通,推断:若X不通,则W不通)
    2. 只有断开 S,才能断开 T;(逻辑转换:若T断开,则S断开,推断:若S通,则T通)
    3. T 和 X 不能同时接通,也不能同时断开;( T = 非X)
    4. 如果 Y 和 Z 同时接通,则 W 也必须接通。(若Y通 && Z通,则 W通,推断,若W不通,则 非(Y通 && Z通))

    如果现在同时接通 S 和 Z,则以下哪项一定为真?(分析:S通->T通->X断开->W不通->(Y通 && Z通)为假 && Z通->Y断开,因此 答案为A)

    • A.T 是接通状态并且 Y 是断开状态。
    • B.W 和 T 都是接通状态。
    • C.T 和 Y 都是断开状态。
    • D.X 是接通状态并且 Y 是断开状态。
    • E.以上选项真假都不确定。

    充要条件假言推理练习:

    9 当且仅当苹果是绿色的、辣椒是红色时,浆果不是蓝色的(苹果绿 辣椒红<=>浆果不蓝);当且仅当浆果是蓝色时,樱桃是不成熟的(浆果蓝<=>樱桃不熟);当且仅当樱桃不成熟时,草是褐色的,或叶子是小的,或两者都出现(樱桃不熟<=>草褐色 ||叶小)。如果草是褐色的,下面哪项一定正确?(分析:草是褐色->草褐色 ||叶小 为真<->樱桃不熟<->浆果蓝<->非(苹果绿 && 辣椒红)为真(使用德摩根定律)->苹果不是绿色的,或者辣椒不是红色的,因此答案为A

    • A 苹果不是绿色的,或者辣椒不是红色的。B 浆果不是蓝色的。C 辣椒是红色的。D 樱桃是红色的。E 叶子是小的。

     

    展开全文
  • 数理逻辑—推理理论

    千次阅读 2019-04-28 23:46:30
    推理的通俗解释 推理是从前提推出结论的思维过程,前提是指已知的命题公式,结论是指从前提出发应用推理规则推出的命题公式,当推理正确且前提也正确时,结论一定正确。 2 构造证明法——证明推理正确的方法之...
  • 构造证明的格式: 前提: 结论: 证明: ①… (前提引入) ② (…) ③ (…) 存在多个蕴涵式 蕴涵式 假言推理 拒取式 假言三段论 析取式 构造性二难,破坏性二难 合取式 化简!!! 否定式 拒取式 析取三段论 ...
  • 5.5:不确定性推理-模糊推理

    千次阅读 2020-12-27 12:21:29
    模糊集合隶属度:集合元素对集合的隶属程度模糊集合相等模糊集合的包含模糊集合的并、交、补集模糊集合的积(2):模糊关系及运算模糊关系模糊关系的合成5.5.2 模糊假言推理模糊知识的表示产生式规则(知识)、证据、...
  • 人工智能 3.确定性推理方法

    万次阅读 多人点赞 2018-12-20 19:40:04
    推理是求解问题的一种重要方法 鲁宾逊归结原理使定理证明能够在计算机上实现 知识+推理=智能 归结演绎:谓词公式化为子句集、鲁宾逊归结原理、归结反演 推理的基本概念 已知事实(数据库)+知识 --通过策略à...
  • 7 一阶逻辑推理(11.23,11.30)

    千次阅读 2020-11-28 11:43:37
    自然演绎推理是指从一组已知事实出发,直接运用命题逻辑或谓词逻辑中的推理规则推出结论的过程。
  • 判断推理假言命题

    2020-12-11 11:27:21
    1.逻辑推理 ①判断推理之概念关系 ②判断推理之三段论 ③判断推理之直言命题 持续更新中... 形式:A B (A是B的充分条件) 标志: 如果A,那么B ; 若A 则B ;只要A ,就B ; 因为A,所以B。 推理规则: A ->...
  • 人工智能复习资料

    2013-01-07 20:11:43
    2、假言推理(AB)A ,假言三段论(AB)(BC) 3、几种常用的归结策略: 、支持集策略、线形归结策略、输入归结策略、单元归结策略 4、在诸如走迷宫、下棋、八数码游戏等游戏中,常用到的一种人工...
  • 人工智能之经典逻辑推理

    万次阅读 2017-11-24 11:15:18
    人工智能之经典逻辑推理 演绎推理: 演绎推理是从已知的一般性知识出发,去推出蕴含在这些已知知识中的适合于某种个别情况的结论。是一种由一般到个别的推理方法,其核心是三段论, 归纳推理: 是一种由个别到一般...
  • 命题逻辑的推理理论 一些笔记: 判断推理是否正确,就是判断是否会出现1推出0的情况,如出现则推理错误,否则正确。 命题公式A1,A2,...,AkA_1,A_2,...,A_kA1​,A2​,...,Ak​推出B的推理正确当且仅当 A1∧A2∧...,∧...
  • 分为充分条件假言推理,必要条件假言推理和充分必要条件假言推理三种。 充分条件假言推理是根据充分条件假言命题的逻辑性质进行的推理。 充分条件假言推理有两条规则: n 规则1:肯定前件,就要肯定后件;否定...
  • 离散数学-3 命题逻辑的推理理论

    千次阅读 2018-03-15 12:34:05
    若对于每组赋值,A1A2…Ak 为假,或当A1A2…Ak为真时,B也为真,则称由前提A1, A2, …, Ak推出结论B的推理是有效的或正确的, 并称B是有效结论. 推理正确并不能保证结论一定成立;前提不正确,不论...
  • 文章目录一 推理的形式结构1 推理的形式结构2 推理定律-重言蕴涵式二 自然推理系统P推理规则直接证明法附加前提法归谬发(反证法) 一 推理的形式结构 1 推理的形式结构 2 推理定律-重言蕴涵式 二 自然推理系统P ...
  • A∧1 ⇔ A   [10] 排中律: A∨(¬A) ⇔ 1   [11] 矛盾律: A∧(¬A) ⇔ 0   [12] 蕴涵等值式: A→B ⇔ (¬A)∨B   [13] 等价等值式: A↔B ⇔ (A→B∧B→A)   [14] 假言易位: A→B ⇔ (¬B)→(¬A)  ...
  • 离散数学中谓词逻辑推理规则总结,附各规则英文

    千次阅读 多人点赞 2020-05-16 10:57:10
    P规则(Premise Rule):前提引入,即引入前提集合中的任意一个前提。 CP规则(Conclusion Premise Rule):附加前提引入,将结论中的前件作为附加前提加入前提集合。CP规则适用于结论为条件式。...
  • 人工智能导论之经典逻辑推理

    千次阅读 2018-05-10 17:59:39
    嗯哼哼 经典推理让人首先想到的就是假言推理嗯哼我们说的推理就是在这基础上的对于一个复杂的句子(谓词公式)我们首先要做的就是把他简单化 嗯哼哼 比如说化为合取范式为什么化为合取范式嗯哼 当然是为了更好的推理...
  • AI:自然演绎推理

    2020-04-29 11:05:11
    文章目录定义假言推理拒取式推理肯定后件错误否定前件错误 定义 从一组已知为真的事实出发,直接运用经典逻辑的推理规则推出结论的过程称为自然演绎推理。 其中基本的推理是P规则、T规则、假言推理、拒取式推理等 ...
  • ┐p∨(┐q∨r) (┐p∨┐q)∨r (结合律) ┐(p∧q)∨r (德摩根律) (p∧q)→r (蕴涵等值式) 三、命题逻辑推理 推理的形式结构:前提→结论 重要的推理定律 附加律:A=>(A∨B) 化简律:(A∧B)=>A,(A∧B)=>B 假言推理:...
  • 01 桌子上有4个杯子,每个杯子上写着一句话。 第一个杯子:“所有的杯子中都有水果糖”; 第二个杯子:“本杯中有苹果”; 第三个杯子:“本杯中没有巧克力”; 第四个杯子:“有些杯子中没有水果糖”。...
  • 大学人工智能试卷

    2021-02-26 18:00:08
    人工智能试卷一、选择题(每题1分,共15分)1、人工智能是一门A)数学和生理学B)心理学和生理学C)语言学D)综合性的交叉... B是A)附加律B)拒收律C)假言推理D)US4、命题是可以判断真假的A)祈使句B)疑问句C)感叹句D)陈述句...
  • 有一些重要的重言蕴涵式, 称为推理定律  推理定律
  • 一、 命题逻辑推理正确性判定 、 二、 形式结构是永真式 ( 等值演算 ) 、 三、 从前提推演结论 ( 逻辑推理 ) 、
  • 离散数学逻辑常用公式

    千次阅读 2021-04-07 15:55:56
    等值关系式 重言蕴含式 真值表
  • 人工智能:第四章 计算智能(1)

    千次阅读 2015-12-07 19:49:11
    简要地介绍模糊数学的基本概念、运算法则、模糊逻辑推理和模糊判决等。 教学重点:计算智能;人工神经网络的结构、模型和算法,以及表示和推理。 教学难点:人工神经网络的结构、算法和推理;模糊数学的运算...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 553
精华内容 221
关键字:

假言推理

友情链接: NP-hard-problem.rar