您现在的位置是:首页 > 百科 > 西方文化

假言推理

分类:西方文化1286字

指前提中含有假言判断(命题)的推理。假言推理由两个前提和一个结论组成,两个前提中一个是假言判断,另一个是直言判断,结论是直言判断。通常把这种推理称为假言直言推理,把假言判断的前提称为假言大前提,直言判断的前提称为直言小前提。假言推理分为三种类型:充分条件假言推理、必要条件假言推理和充分必要条件假言推理。

充分条件假言推理 假言推理中的假言前提是充分条件假言判断。充分条件假言判断的逻辑形式是“如果P,则q”。在这个复合判断中,p是q的充分条件,指有前件p就一定有后件q;同时,q又是p的必要条件,指无后件q就一定无前件p。根据充分条件假言判断的逻辑特 ......     (共1286字)    [阅读本文]>>

其他相关分类

推荐内容

  • 西方文化

    (二)西方文化及其沿革

    西方文化,是一个范围极大的概念。它包括西方的精神思想传统、价值伦理观念、文学艺术成就、意识形态理论、风俗礼仪系统、语言文字体系,等等。但是,一般意义上的西方文化,却是有一定的特指意味。它指的是具有西方特

    9332字 105
  • 西方文化

    词项的种类

    指词项不同的类别。根据外延的情况不同,词项可分为普遍词项、单独词项和空词项。普遍词项是其外延至少包含两个对象的词项,如英国人、欧洲国家等等。单独词项是其外延仅仅包含一个对象的词项,如法国的首都,欧洲最高

    1229字 44
  • 西方文化

    逻辑方阵

    在直言命题中,用相同的素材即主词和宾词相同而构成的A、E、I、O四种不同类型的命题,它们之间存在一种特定的真假关系。传统逻辑用一种四方图形来表示这种关系:这种图形就叫做“逻辑方阵”。它包括四种关系:反对

    466字 46
  • 西方文化

    直言三段论

    由直言命题所组成的一种推理形式,简称三段论。传统逻辑的三段论演绎体系是由亚里士多德创立的,在中世纪得以完善,现代的数理逻辑对三段论也作过专门的研究。三段论的结构一个直言三段论由三个直言命题所组成,其中两

    2377字 40
  • 西方文化

    文恩图

    指用交叉圆圈来表示词项间外延关系的一种图解。英国数学家和逻辑学家文恩(JohnVenn)1834—1923所发明。文恩对欧拉图作了改进,用一个矩形来表示论域,用“+”号标志有分子存在,用“-”号标志没有

    375字 43