本章分两节，a节为类的推演，b节为关系的推演。a节分1、2两段，1段为普遍的具类词的命题，2段为类的推算；b节也分1、2两段，1段为普遍的具关系词的命题，2段为关系的推算。本章的各段不过选出原书中几个命题而已。

a. 类的推演

本节的1段承上接下，介绍具类词的命题；2段为类的推算。所谓类的推算者就是近代符号逻辑新兴时期的calculus of classes。

1. 普遍的具类词的命题。

本段的命题可以分为三组。第一组表示类的基本质，第二组是具类词而同时又具叙述词的命题，第三组的命题表示“类”与个体有同样的质。本段的各命题既大都有注解，各组命题无另条表示的需要。

（具类词的命题表示定那一类的命题函量的外延质。它的真假值根据于定类的命题函量的外延，而不根据于引用那一命题函量为定类的命题函量。）

（这三命题成一套，而最后这一命题总结前两命题。它表示只有两真假值相等的命题函量才定一类。那就是说，两命题函量的真假值不相等，它们所定的类是两类。所谓命题函量的真假值相等者，就是说满足第一命题函量的个体就是满足第二命题函量的个体。这是类的根本条件。)

（如果两类相等，则此两类中任何一类有一性质，另一类亦有之。）

（这三命题中第一命题表示类的相同有自反质，第二命题表示类的相同有对称质，第三命题表示类的相同有传递质。但这三命题不是直接从第二章c节2段的13.15，13.16，13.17推论出来的。 不是fx的值，那就是说，x不指 这样的东西，而 也不是x=y的例。）

（任何类a是满足φz的个体，同时也是满足ψz的个体，此两命题函量所定的类是一类。）

（此命题表示只有ψx是真的，x才是ψx所定的类的分子，“ ”代表“是分子”，这是个体与个体的类的关系。它不是包含关系，它没有传递质。从这一方面着想，“所有的人都是有理性的，所有的圣贤都是人，所以所有的圣贤都是有理性的”与“所有的人都是有理性的，孔子是人，所以孔子是有理性的”这两个三段论的形式根本不同。）

（两类相同等于说任何x属于头一类就是说它属于第二类。总而言之，对于类所注重的是外延。）

（x与y相同等于说x属于任何类就是说y属于该类。此命题与20.25那一命题一样把类词用为表面任指词。）

（此命题与20.31一样，只不过a、b，这样的符号简单而已。）

（这个命题不仅是具类词的命题，而且是具叙述词的命题。举例来说：《春秋》的作者属于人类等于说《春秋》的作者是人。以φ代表作《春秋》，（τx）（φx）就代表《春秋》的作者；以ψz代表z是人，z^（ψx）就代表满足ψz这命题函量的个体，那就是说人类，而此命题的前一部分就是说《春秋》的作者是人类的分子；此命题的后一部分说《春秋》的作者是人。）

（设以b代表孔子，（τx）（φx）仍代表《春秋》的作者；这个命题说《春秋》的作者是孔子等于说《春秋》的作者是任何一类（a）的分子，就是说孔子是那一类的分子。）

（仍以举例表示：有《原富》的作者就是说有某个体，说《原富》的作者属于一类等于说那个体属于那一类。）

（这里表示不仅有叙述个体的词，而且有叙述类的词。（τa）（fa）这符号与（τx）（φx）那一符号有同样情形，不过事实上的例比较困难一点而已。第三组表示类与个体有同样情形的命题，本书不抄。）

2. 类的推算（calculus of classes）。

a. 在本书第四部的第一章a节里，有一系统通式。那个系统通式可以有各种不同的解释。如果我们以类去解释那个系统通式，我们所得的就是这里的类的推算。如果我们以命题去解释那系统通式，我们所得的就是本书第三部的第一章。

经解释后，那个系统通式，所有的基本命题，在此处大都能证明；其所以如此者，因为这些基本命题所表示的道理，前此已经承认。

这里的类的推算未开始之前，就有好几个定义，可是我们不必抄写，因为定义既下，跟着就有好几个命题把这些定义都容纳在里面。

b. 所选择的命题。

的定义就是本命题的后部。这符号可以读成“a类包含在b类之中”。这命题说：a类包含在b类等于说如果任何个体属于a类，则那一个体属于b类。在p. m. 的程序中，作者利用命题的蕴涵以表示类的包含关系。）

的定义就是本命题的后一部分。这符号可以读成“既是a又是b的类”。满足“x既属于a又属于b”这一命题函量的“x个体”就是 类。）

（情形同上，不过改“与”为“或”而已。）

（“—a”即非a类。非a类就是满足“x不属于a类”这一命题函量的个体。这里利用否定命题以表示负类。）

（“a—b”可以读成a类与非b类，或既a而又非b类。有定义说a—b就是 。）

（这命题说：说x属于既a又b类等于说x既属于a类又属于b类。）

（这命题说：说x属于或a或b类等于说x属于a类或者x属于b类。“或”与“与”的情形在此处一致。）

（这个命题表示，说x属于非a类等于说x不属于a类。这样一来，命题的“不”与类的“非”完全一致。）

（非a类不是a类或非a类与a类不是一类。p. m. 以后用这个命题证明至少有两类存在，而“至少有两类存在”这一命题就是本书在第四部第一章所举的那个系统通式中经解释后的一命题。这一命题本书不预备抄下，仅在此处提及而已。）

是类， 是类。这两个命题就是方才所说的那系统通式中经解释后起头的两个命题。“cls”这符号代表类。）

（这里表示非a是类。）

（说a类包含在b类而b类又包含在a类，就是说任何x是a类的分子等于说它是b类的分子。两类互相包含，则实同，所谓实同者就是说它们的外延完全一样。）

（这与以上命题一样，不过直接表示两互相包含的类相同，而没有说它们的分子而已。）

（任何类包含自己。这与“ p　p”相似。）

（既a又b的类包含在a类。或许有人感觉这命题奇怪。如果有人以为 是a、b两类之“和”而“和”又是两类相加的意思，那么 不会包含在a类。但 为“既a又b”类——例如有理性的动物类，其分子当然都是有理性类的分子，也当然都是动物类的分子——而“既a又b”类不能不包含在a类，也不能不包含在b类。）

（这命题说：如果a类包含在b类，b类包含在c类，则a类包含在c类。这也是三段论。如果把 写在 的前面，这命题可以解作传统逻辑中的“barbara”。）

（这也是三段论。可是与上面不同的地方就是这里的 不是类与类包含的关系，而是个体与类的关系。“ ”无传递质而 有传递质。这个命题与以上那个命题应该有明文的分别。）

（说a类包含在b类，a类也包含在c类，等于说a包含在既b又c类。）

（这就是22.441那一命题，不过把前件的秩序变更而已。）

（如果a类包含在c类，则既a又b类包含在c类。这个命题参考22.43就能够清楚。）

（如果a类包含在b类，则既a且c类包含在既b且c类；如果a类等于b类，则既a且c类等于既b且c类。读者请举例即明。）

（如果a类包含在b类，c类包含在d类，则既a且c类包含在既b且d类。读者请举例。）

（既a而又a类等于a类。这里表示“既是人而又是人，其结果还是人”。一方面类的“和”与数的“相乘”不同，另一方面与中文文字的一部分的习惯不要相混。风风雨雨的意思不仅止于风雨，但逻辑上既a而又a的类还是a 类。）

（这两命题都是第四部第一章那个系统通式中的原则。第一命题表示a与b两类的“与”，它们彼此的位置可以掉换。第二命题表示a、b、c三类的“与”，把任何两类视为一类与其余一类的相与等于把任何其他两类视为一类与其余的一类的相与。）

（如果a类等于b类，则说a类包含在c类等于说b类包含在c类。）

（如果a类等于b类，则说c类包含在a类等于说c类包含在b类。）

（如果a类等于b类，则或a或c类等于或b或c类。）

（22.5那一命题说既a而又a类是a类，22.56这一命题说a或a类是a类。逻辑上的“与”与数学上的“乘”，逻辑上的“或”与数学上的“加”都不同。）

（这一命题表示a、b两类的“和”，彼此的位置可以掉换。）

（a类包含在a或b类，b类包含在a或b类。这是显而易见，因为a或b类可以包含三类：1，a类；2，b类；3，既a而又b类。）

（说a类包含在c类，而b类也包含在c类，等于说a或b类包含在c类。在此处我们要注意说a包含在b类，或a包含在c类，不等于说a类包含在b或c类；那就是说，

是假的。 虽是真命题，那就是说，如果a类包含在b类，或者a类包含在c类，则a类包含在b或c类；而

是假的，那就是说，如果a类包含在b或c类，不一定a类就包含在b类或者a类就包含在c类。读者可以用图形表示这里所说的道理。）

（说x是a或b类的分子等于说无论c是什么类，如果a类包含在c类，而b类也包含在c类，则x是c类的分子。）

（这是显而易见的道理，读者或以语言或以图形表示均可。）

（这也是显而易见的道理，以图形表示非常之容易。）

（这与以上成一对，而这一对命题表示“或”与“与”的分别。）

（这命题在语言方面颇麻烦，用图形很容易表示。）

（这与22.63那一命题也成一对，读者自己设法表示。）

（如果a类等于b类，则a类等于既a而又b类。可是反过来说不通。如果a类等于既a又b类，a类固可以等于b类，但也可以包含在b类。）

（如果a类包含在b类，则a或c类就是既a又b类或c类。）

（如果a类包含在c类或b类包含在c类，则既a又b类包含在c类。既a又b类是a类的一部分，它也是b类的一部分，所以无论前件两条件中哪一条件是真，后件总是真。可是反过来说不通。如果既a又b类包含在c类，非b的a类不必包含在c类，非a的b类不必包含在c类。）

（此命题在22.59已经讨论过，此处不赘。）

（这是显而易见的道理，读者以图表示之即明。）

（这两命题成一对。用语言表示不如用图形表示。兹以前一命题为例：前部以甲、乙、丙三图表示之，后部以（一）（二）（三）图表示之。以下丙图与（三）图表示同一的类。22.69那一命题可以用类似的方法表示。）

（这与22.52那一命题成对。三类的和，把任何两类的和视为一类与其余一类相和，等于把任其他两类的和视为一类与其余一类相和。以语言表示此命题似乎很难听，还是用图形好。）

（这两命题很容易明白，读者自备方法表示。）

（说既a又b类包含在c类，而既a又c类又包含在b类，等于说既a又b类就是既a又c类。以图形表示更容易。）

（非非a类就是a类，在类方面再负为正好像在命题方面再假为真一样。）

（说a类包含在b类等于说非b类包含在非a类。混沌一点地说，说所有的a都是b等于说所有的非b都是非a。）

（说既a又b类包含在c类，等于说既a又非c类包含在非b类。）

（说a类等于b类等于说非a类等于非b类。）

（这四个命题名为de morgan公式。它们都表示“与”与“或”的关系。兹以语言表示第一命题即够：“非既a又b类等于非a或非b类。”兹以下图表示：

图中“非1”等于“或2或3或4”。但“或2或3或4”就是“非a或非b”，因为“非a或非b类”中的“或”既为相容的或，这一类所包含的可能共有以下三类，即a而非b，b而非a，既非a而又非b；换言之，即图中的“或2或 3或 4”。）

（这就是说任何个体是a或非a类的分子。无论x是什么个体，它不是a类的分子，就是非a类的分子，同时不是非a类的分子，就是a类的分子。这是排中律的一种表示。）

（这就是说任何x不是既a而又非a类的分子。这是矛盾律的一种说法。）

（在语言方面， 颇不易表示。图形表示毫无问题。）

（在语言方面有以上所说的情形。）

（如果a类包含在b类，则b类等于a类或非a的b类。如果a类包含在b类，则b类可以分作两部分，一是既a又b类，二是b而非a类。无论第二类存在与否，b类总是第一类或第二类。）

在语言方面有困难，不易表示。图形表示无问题。）

b. 关系的推演

本节与a节一样，分为两段：1段介绍具关系词的命题；2段为关系的推算。所谓关系的推算者就是英文中的calculus of relations。

1. 普遍的具关系词的命题。

本段的命题与a节的1段一样。本系统所注重的类是外延的类，本系统所注重的关系是外延的关系。类是满足φx这样命题函量的个体，关系是满足φ（x，y）这样命题函量的个体。类是 这符号所表示的东西，关系是 这样符号所表示的东西。具类词的命题其形式为 ，具关系词的命题其形式为 ）。

以下所举的具关系词的命题，在原书中排列在类的推算之前，所以命题以号数为“21.”而非“23.”。这些命题也可以分为三组，但我们不必有明文的表示。本段所选择的命题如下：

（具关系词的命题表示定那一关系的命题函量的外延质。它的真假值根据命题函量的外延，而不根据于引用那一命题函量为定关系的命题函量。）

（这三个命题成一套，最后一命题总结前两命题。它表示只有两真假值相等的命题函量才定同一的关系。两命题函量的真假值不相等，它们所定的关系是两关系。所谓命题函量的真假值相等者，就是说满足第一命题函量的个体就是满足第二命题函量的个体。注重关系的外延，这是根本条件。）

（如果两关系相等，则此两关系中任何一关系有任何质，另一关系亦有之。）

（这三个命题成一组，第一命题表示关系的相同有自反质，第二命题表示它有对称质，第三命题表示它有传递质。关系的相同与类的相同一样，这三个命题不是从第二章 c 节 2 段的 13.15、13.16、13.17 直接推论出来的。f（x^ y^ φ（x，y））既不是 fx 的值， 也不是 x=y 的例。）

（这两命题与以上21.22那一命题也可以成一套。它们都表示与一共同关系相同的两关系彼此也相同。）

这符号表示 x 与 y 有 ψ（x，y）这一命题函量所定的关系。这命题表示只有ψ（x，y）是真的，x与y才有ψ（x，y）所定的关系。）

（两关系相等等于说任何（x，y）有头一关系等于说它们也有第二关系。这就是说，要有后一部分所说的满足情形，两关系才相等。）

（以r代替 ，当然便利得多。谈关系而不必提到定那关系的命题函量的时候，复杂的符号如 均可以用简单的r代替。在任何（x，y）有r关系等于φ（x，y）是真的条件之下，r是φ（x，y）这命题函量所定的关系。）

（如果说任何x与任何y有r的关系等于说它们有s的关系，则r与s两关系相等；如果r与s两关系相等，则说任何x与任何y有r关系等于说它们有s关系。）

（说任何关系s与r相等，则说它就是φ等于说r是φ。要举实例，比较麻烦。请注意这里的（s）表示关系也可以有表面任指词。在这一点上，个体、类、关系也有一致的情形。）

（有等于r的s关系而它是φ等于说r关系是φ。这命题与以上那个命题成一对。）

（此处的命题用一句话讲本来是不容易的事，而这一命题似乎更难。意思大约可以有以下的表示：说任何（x，y）有r关系等于说φ（x，y），这里所说的这个r关系就是φ（x，y）命题函量的（x，y）。

（这个命题不过是说有以上21.55所叙述的r关系。这两个命题都以关系为叙述词。）

（满足一命题函量的个体就是与它相等的那关系。）

（这命题的前后两部分的关系与传统逻辑中的i与e的关系相似。有是f的r关系等于说“无是f的r关系”是假的。）

2. 关系的推算（calculus of relations）。

a. 这一段的命题与类的推算那一段的命题相似。类的推算可以说第四部第一章的那系统通式的解释，关系的推算也可以作如此看法。这里的关系是外延的关系，以上21.58那一命题就表示本系统的关系是外延的关系。所谓关系的推算者是说这里的这个推算中的原子。

推算未开始之前，就已有好几个定义；可是这里的情形与类的推算的情形相似；我们不必抄写定义，因为定义既下，跟着就有好几个命题把这些定义都容纳在内。

b. 所选择的命题。

（这里关系间的 与类间的 、命题间的 相似。命题间的 我们读为“蕴涵”。类间的 我们读为“包含在”，可是关系间的 ，我们不知道如何读法好。符号方面的定义已经容纳在这一命题之中。如果我们把 读作包含在，这一命题说r关系包含在s关系之中，等于说如果任何x与y有r关系，它们就有s关系。p. m. 的作者也是利用命题方面的 去表示关系方面的 。）

（关系间的 与类间的 、命题间的“·”相似。这似乎也可以用“与”“和”“同”“既……又”等等字眼去表示。它的定义就是本命题的后一部分。这里也是用命题方面的“·”去表示关系方面的 。这命题也表示这里的关系是外延的关系。

（关系间的 与类间的 、命题间的 相似。这似乎也可以用“或”表示，它的定义就是这命题的后一部分。关系方面的 也是用命题方面的“ ”去表示。）

（关系方面的“　”与类方面的“—”、命题方面的“～”相似。“ ”的定义就是本命题的后一部分，而这定义也就是利用命题方面的“～”去表示关系方面的 。）

（是r关系而不是s关系就是满足“xry是真的而xsy是假的”这一命题函量的（x，y）。我们要清楚，这里的r关系就是有r关系的（x，y），那就是说r的外延。）

（x与y有r与s的关系，等于说x与y有r关系，而且x与y有s的关系。）

（x与y有r或s的关系，等于说x与y有r关系或者x与y有s的关系。这一对命题表示关系间的“或”与“与”等于具相当形式的命题间的“或”与“与”。）

（如果我们把 读为“非”，这个命题说x与y有非r的关系，等于说x与y有r关系是假的。）

（非r关系不是r关系。22.351那一命题说非a类不是a类。p. m. 用那一命题证明至少有两类，我们似乎也可以利用这里这个命题证明至少有两关系。）

（“rel”这符号表示关系。这两个命题无非是表示 与 都是关系。如果我们把关系视为第四部第一章那个系统通式的原子，这两个命题就是那系统的最初两个基本命题。）

（这个命题表示非r也是关系。）

（说r关系包含在s关系而s关系又包含在r关系，等于说任何x，y有r关系等于说它们有s关系。两关系互相包含，则它们的外延一样。）

（这与以上一样，它不过直接表示两互相包含的关系相等，没有提到分子问题。）

（任何关系包含它自己，这与命题方面的 ”、类方面的 相似。）

（这与类方面的 那一命题相似。在那一命题注解下所说的话这里也可以说。）

（这命题说如果r关系包含在s关系，s关系包含在t关系，则r关系包含在t关系。这是关系方面的三段论。三段论不限于命题，也不限于类。例如：如果x是y的学生，x就比y年轻；x比y年轻，x就是y的后辈；则x是y的学生，x就是y的后辈。）

（如果r关系包含在s关系，而x与y有r关系，则x与y有s关系。读者自己举例。）

（如果r关系包含在s关系，而又包含在t关系，则r关系包含在既s而又t的关系。此命题仅表示“如果……则”的关系，其实前件与后件的真假值相等。）

（这就是23.441那一命题，不过前件中的两命题的位置彼此更换而已。）

（如果r关系包含在t关系，则既r而又s的关系包含在t关系。这个命题可以利用23.43那一命题及三段论来证明。例如：

此处及以前的命题，读者均可以自己设法证明以为训练。）

（如果r关系包含在s关系，则既r而又t的关系包含在既s而又t的关系。如果r关系与s关系相等，则既r而又t的关系等于既s而又t的关系。读者或举例或证明。）

（如果p关系包含在q关系，而r包含在s关系，则既p而又r的关系包含在既q而又s的关系。）

（既r而又r的关系就是r关系。x既在y的左边，而又在y的左边，其结果仍是x在y的左边。）

（第一命题表示两关系的相“与”，与两类的相“与”一样，不受它们的位置更换的影响。第二命题表示三关系的相“与”，把任何两关系视为一组，等于把任何其他任何两关系视为一组。）

（如果r关系等于s关系，则说r关系包含在t关系，等于说s关系包含在t关系。）

（如果r关系等于s关系，则说t关系包含在r关系，等于说t关系包含在s关系。）

（如果r关系等于s关系，则或r或t的关系等于或s或t的关系。）

（23.5说既r而又r的关系就是r关系，此命题说r或r的关系就是r关系。这两命题成一对表示逻辑上关系的相“与”与数的相乘不一样，逻辑上关系的“或”与数的相加不一样。）

（两关系的和不受彼此前后位置的更换的影响。）

（r关系包含在或r或s的关系，而s关系也包含在或r或s的关系。）

（说r关系包含在t关系，s关系也包含在t关系，等于说r或s关系包含在t关系。请看22.59的注解。）

（说x与y有r或s的关系，等于说如果r关系包含在任何t关系，而s也包含在任何t关系，则x与y有t关系。）

（如果r关系包含在s关系，则r关系包含在s或t的关系。）

（说r关系包含在s关系，等于说r或s的关系就是s关系。）

（说r关系包含在s关系，等于说既r而又s的关系就是r关系。这两命题是一对，表示“或”与“与”的分别。）

（这命题在语言方面颇麻烦。参考22.63那一命题。读者试以图形表示。）

（这命题与以上成对，情形同样。）

（如果r关系等于s关系，则r关系等于既r而又s的关系。反过来说不通。如果r关系等于既r而又s的关系，r关系固可以等于s关系，但也可以包含在s关系。）

（这命题在语言方面颇麻烦，读者试以图形表示。）

（这命题与22.64那一命题相似，请参考那一命题的注解。）

（参考22.59及22.65两命题的注解。）

（如果r关系包含在s关系，则r或t的关系包含在s或t的关系。）

（这两命题成一对。请参阅22.68与22.69那两个命题的注解。）

（语言表示非常之麻烦。请参阅22.7那一命题的注解。）

（这里第一命题说如果p关系包含在r关系，而q关系又包含在s关系，则p或q的关系包含在r或s的关系。第二命题说如果p关系等于r关系，而q关系又等于s关系，则p或q的关系等于r或s关系。）

（说既p又q的关系包含在r，而既p又r的关系又包含在q，等于说既p又q的关系就是既p又r的关系。）（非非r关系就是r关系。此情形与类方面及命题方面的情形一样。）

（说r关系包含在s关系等于说非s关系包含在非r关系。参阅22.81那一命题。）

（说既r又s的关系包含在t关系，等于说既r而又非t的关系包含在非s关系。）

（说r关系等于s关系，等于说非r关系等于非s关系。）

（这就是关系方面的排中律。任何x与y有r或非r的关系。总而言之，它们若无r的关系，就有非r的关系；若无非r的关系，就有r的关系。）

（请参考22.84、22.85、22.86、22.87那四个命题的注解。）

（这就是关系方面的矛盾律。任何x与y有既r而又非r的关系是假的。）

（这两命题可以用图形表示，以语言表示似乎佶屈聱牙。）

（如果r关系包含在s关系，则s关系等于r或s而非r的关系。）

（读者试以图形表示。）