集合论的基本概念。在集合论中，集合是不加定义的概念。直观上，集合可以理解为由任何对象汇集成的一个整体。表示一个集合的最简单的方法，是把这个集合的元素列举出来。例如，设A是由1、2、3这三个数组成的集合，就把集合A记作：{1、2、3}。B是太阳系的行星组成的集合。记作B={水星，金星，地球，火星，木星，土星，天王星，海王星，冥王星}。但是，当一个集合的元素太多，不便用列举法表示时，可用刻划特征来表示，即用这个集合的全体所共有而不为该集合以外的对象所具有的性质。如设N是自然数集合体，记作N={X|X是自然数)(或{X：X是自然数}) ...... （共270字） [阅读本文]>>
中国百科刻划对当关系的逻辑图形。参见“对当关系”。
中国百科传统逻辑中刻划4种基本模态判断之间真假关系的逻辑图形：其中诸关系的定义同对当关系。
中国百科由中项在前提中的位置不同而形成的三段论的不同形式。三段论有四个格：第一格，中项分别是大、小前提的主项和谓项;第二格，中项分别是大、小前提的谓项;第三格，中项分别是大、小前提的主项;第四格，中项分别是大、
中国百科英国逻辑学家德·摩根提出的一对逻辑定理。如，“并非价廉物美”等值于“价不廉或者物不美”。如，“并非价廉或物美”等值于“价不廉并且物不美”。这两个公式是对偶式。
中国百科又称“逻辑代数”。设B是一个至少有两个元素的集合，其中定义了两种运算：+(加法)，*(乘法)，B中元素对于这两种运算，如果满足以下公理：对任意x、y、z∈B，(ⅰ)：x+y=y+x，x*y=y*x;(ⅱ
上一篇