一集合S为一良序集，如果存在S上的一个二元关系R，满足：1.对于任意x∈s，R(x，x)不成立;2.对于任意x，y∈s，如果x≠y，则R(x，y)或R(y，x)成立;3.对于任意x、y、z∈s，如果R(x，y)并且R(y，z)成立，则R(x，z)成立;4.S的每一非空子集T，都存在元素a，对于一切x∈T，都有R(a，x)。a称作在关系R下该子集的首元或最小元。其中，满足1和3的，叫偏序关系;满足1—3的，叫全序关系;满足1—4的，叫良序关系。如关系“<”是自然数集的一个良序关系;自然数集是在“<”下的良序集 ...... （共260字） [阅读本文]>>
中国百科刻划对当关系的逻辑图形。参见“对当关系”。
中国百科传统逻辑中刻划4种基本模态判断之间真假关系的逻辑图形：其中诸关系的定义同对当关系。
中国百科由中项在前提中的位置不同而形成的三段论的不同形式。三段论有四个格：第一格，中项分别是大、小前提的主项和谓项;第二格，中项分别是大、小前提的谓项;第三格，中项分别是大、小前提的主项;第四格，中项分别是大、
中国百科英国逻辑学家德·摩根提出的一对逻辑定理。如，“并非价廉物美”等值于“价不廉或者物不美”。如，“并非价廉或物美”等值于“价不廉并且物不美”。这两个公式是对偶式。
中国百科又称“逻辑代数”。设B是一个至少有两个元素的集合，其中定义了两种运算：+(加法)，*(乘法)，B中元素对于这两种运算，如果满足以下公理：对任意x、y、z∈B，(ⅰ)：x+y=y+x，x*y=y*x;(ⅱ
上一篇