sī míng1.犹私客﹐私人。 2.古逻辑学名词。指反映单一事物的概念。相当于专有名词。语本《墨子．经上》﹕"名﹕达﹑类﹑私。"

lèi míng1.《墨经》中的逻辑术语。指反映同类对象的概念，相当于普遍概念。如"马"即类名。

yùn hán1.包含。 2.逻辑名词。判断中前后两个命题互为条件的关系叫"蕴涵"。表现形式是"如果……则……"。

xuǎn yán pàn duàn断定事物情况有几种可能的复合判断。组成选言判断的各个判断，叫选言支。一个选言判断至少有两个选言支。选言支之间，可以是相容的关系，也可以是不相容的关系。前者用“或者…或者…”、“可能…也可能…”等做逻辑联结词，至少要有一个选言支是真的，该选言判断才是真的。后者用“要么…要么…”、“不是…就是…”等做逻辑联结词，只有在一个选言支真的情况下，该选言判断才是真的。