换质推理
分类:中国百科127字
判断变形的直接推理基本形式中的一种。通过改变前提的质而推出结论。如“事物都是可以认识的,所以,事物都不是不可以认识的”。有三条规则:1.改变前提的质(变肯定为否定,或变否定为肯定),2.保持前提的量项不变,3.将前提谓项的矛盾概念作为结论的谓项 ...... (共127字) [阅读本文]>>
判断变形的直接推理基本形式中的一种。通过改变前提的质而推出结论。如“事物都是可以认识的,所以,事物都不是不可以认识的”。有三条规则:1.改变前提的质(变肯定为否定,或变否定为肯定),2.保持前提的量项不变,3.将前提谓项的矛盾概念作为结论的谓项 ...... (共127字) [阅读本文]>>
刻划对当关系的逻辑图形。参见“对当关系”。
传统逻辑中刻划4种基本模态判断之间真假关系的逻辑图形:其中诸关系的定义同对当关系。
由中项在前提中的位置不同而形成的三段论的不同形式。三段论有四个格:第一格,中项分别是大、小前提的主项和谓项;第二格,中项分别是大、小前提的谓项;第三格,中项分别是大、小前提的主项;第四格,中项分别是大、
英国逻辑学家德·摩根提出的一对逻辑定理。如,“并非价廉物美”等值于“价不廉或者物不美”。如,“并非价廉或物美”等值于“价不廉并且物不美”。这两个公式是对偶式。
又称“逻辑代数”。设B是一个至少有两个元素的集合,其中定义了两种运算:+(加法),*(乘法),B中元素对于这两种运算,如果满足以下公理:对任意x、y、z∈B,(ⅰ):x+y=y+x,x*y=y*x;(ⅱ