凡例

本书中出现的字母和符号的含义约定如下：

S表示直言判断的主项；

P表示直言判断的谓项；

M表示两个直言判断中共同具有的那个项，即中项；

﹁表示“否定”，读作“并非”，一元联接项，置于一个支判断之前；

∧表示“合取”，读作“并且”，二元联接项，置于两个支判断之间；

∨表示“相容析取”，读作“或者”，二元联接项，置于两个支判断之间；

⊙表示“排斥析取”，读作“要么……，要么……”，二元联接项，置于两个支判断之间；

→表示“蕴涵”，读作“如果……，那么……”，二元联接项，置于两个支判断之间，“如果”后面、“→”左边的支判断称为前件，“那么”后面、“→”右边的支判断称为后件；

←表示“逆蕴涵”，读作“只有……，才……”，二元联接项，置于两个支判断之间，“只有”后面、“←”左边的支判断称为前件，“才”后面、“←”右边的支判断称为后件；

←→表示“等值”，读作“当且仅当……，才……”，二元联接项，置于两个支判断之间，“当且仅当”后面、“←→”左边的支判断称为前件，“才”后面、“←→”右边的支判断称为后件；

□表示“必然”，读作“必然”，一元联接项，置于一个支判断之前；

◇表示“可能”，读作“可能”，一元联接项，置于一个支判断之前。