凡例

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

S表示直言判断的主项；

P表示直言判断的谓项；

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

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

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

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

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

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

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

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

├表示“推出”，读作“推出”，置于前提和结论之间；

≡表示“等于”，读作“等于”，置于两个能够互相推出的判断之间。