zoukankan      html  css  js  c++  java
  • 演绎推理之三段论

    三段论推理是演绎推理中的一种简单推理判断。他包括:

      大前提:一个包含大项和中项的命题;

      小前提:一个包含小项和中项的命题;

      结论:  一个包含小项和大象的命题。

    创建者:亚里士多德

    三段论规则有七条,是由4条基本规则和3条导出规则组成。

    四条基本规则:

      1.一个正确的三段论,有并且只有三个不同的项。

      2.三段论的中项的中项至少要周延一次。

      3.在前提中不周延的词项,在结论中不得周延。

      4.两个否定前提推不出结论。

    三条导出规则:

      1.前提有一个是否定的,其结论必是否定的;若结论是否定的,则前提必有一个是否定的。

      2.两个特称前提推不出结论。

      3.前提中有一个是特称,结论必须也是特称的。

  • 相关阅读:
    [CF1342D] Multiple Testcases
    [CF448D] Multiplication Table
    [CF459C] Pashmak and Buses
    [CF766E] Mahmoud and a xor trip
    [CF35E] Parade
    [CF15C] Industrial Nim
    [CF9D] How many trees?
    [CF19B] Checkout Assistant
    [CF22D] Segments
    [CF21D] Traveling Graph
  • 原文地址:https://www.cnblogs.com/kgtone/p/10357855.html
Copyright © 2011-2022 走看看