(说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类。)
(这四个命题名为DeMan公式。它们都表示“与”与“或”的关系。兹以语言表示第一命题即够:“非既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类总是第一类或第二类。)
在语言方面有困难,不易表示。图形表示无问题。)