本系列文章主要讲解 形式逻辑，系列文章总纲链接为：形式逻辑总纲

本章节思维导图如下所示（思维导图 迭代了以前的章节）：

1 性质判断

@1 性质判断的定义： 断定对象具有或不具有某种属性的判断，也称为直言判断或直言命题。 例如:所有 产品 是 合格的、有些 学生 不是 党员、这个 人 不是 盗贼。

@2 性质判断的构成：性质判断是由主项、谓项、联项和量项组成。上面案例可以总结如下：

• 主项:表示被断定对象的概念，用“S”表示。
• 谓项:表示被断定对象性质的概念，用“P”表示。
• 联项:它是联结主项和谓项的概念，分为肯定和否定两种。一般用“是”和“不是”表示。
• 量项:表示所断定的主项的数量或范围的概念。

量项分为三种：

1. 全称量项：对主项的全部外延做了断定；常用的量词有：所有的、凡是、任何一个、每一个、皆。
2. 特称量项：只对主项的部分外延做了断定；常用的量词有：有些、有的、许多、大多数、不少。（注意：特称量项“有些”、“有的”所表明的逻辑性质与现代汉语中的“有些”、“有的”的语法性质是有区别的。生活中的“有些”是指“仅仅有些”。如“我们班有些学生是 党员”，是指我们班仅仅有一部分学生是党员，而其他部分学生不是党员。而逻辑中的“有些” 是指“至少有些”。如“我们班有些学生是党员”，是指我们班至少有些同学是党员，其他 部分不清楚，具体指的是谁也不清楚，也有可能全部都是）
3. 单称量项：所断定的主项只是某一个个别对象；常用的量词有：这个、那个。

@3 性质判断的分类 根据性质判断质和量的划分标准，一共有六种类型：

1. 单称肯定：断定一个具体的对象具有某种性质的判断。 逻辑形式:这个S是P。例如:中国是人口大国。
2. 单称否定：断定一个具体的对象不具有某种性质的判断。 逻辑形式:这个S 不是P。例如:中国不是发达国家。
3. 全称肯定：断定一类对象中全体对象都具有某种性质的判断。 逻辑形式:所有S是P。例如:所有的学生都是青年人。
4. 全称否定：断定一类对象中全体对象都不具有某种性质的判断。 逻辑形式:所有S不是P。例如:所有的学生都不是老年人。
5. 特称肯定：断定一类对象中有对象具有某种性质的判断。 逻辑形式:有的S 是P。例如:有些学生是文科学生。
6. 特称否定：断定一类对象中有对象不具有某种性质的判断。 逻辑形式:有的S不是P。例如:有的学生不是党员。

对应的逻辑方阵图如下所示（这个图要在理解的基础上记忆，最好是自己画几遍）：

逻辑方阵图的4种关系解读：

1. 上反对关系（至少有1个命题为假，可能2个都是假）：所有S都是P，所有S都不是P。
2. 下反对关系（至少有1个命题为真，可能2个都是真）：有的S是P，有的S不是P。
3. 矛盾对应关系（一真一假）：所有S都是P 与 有的S不是P；所有S都不是P 与 有的S是P；这个S是P 与 这个S不是P。
4. 从属关系：所有的S都是P→ 这个S是P→ 有的S是P；所有S都不是P→ 这个S不是P→ 有的S不是P

@4 案例分析：

1 “某理工大学的有些学生是北京人。” 这个判断的对象（主项）是什么?（分析：做一个逻辑转换得到-> 有些 某理工大学的学生 是 北京人，主项为 某理工大学的学生 ，因此答案为D）

• A.某理工大学。B.某理工大学的有些学生。C.理工大学的学生。D.某理工大学的学生。E.学生。

2 并非所有老师都是青年人。下列哪项与上面的判断所表达的意思相同？（分析：所有老师都是青年人 与 有些老师不是青年人 为矛盾命题，因此可以推断出 有的老师不是青年人 为真，因此答案为C ）

• A.所有老师都不是青年人。
• B.没有一个老师不是青年人。
• C.有的老师不是青年人。
• D.老师中有青年人。
• E.有的老师是青年人。

3 一家珠宝店珠宝被盗，经查可以肯定是甲、乙、丙丁四人中的某一个人所为。审讯中，他们各自说了一句话。

1. 甲说:我不是罪犯。（逻辑转换：甲 非）
2. 乙说:丁是罪犯。（逻辑转换：丁 是）
3. 丙说:乙是罪犯。（逻辑转换：乙 是）
4. 丁说:我不是罪犯。 （逻辑转换：丁 非）

经调查证实，四人中只有一个人说的是真话。根据以上条件，下列哪个判断为真？（分析：2 和4 矛盾，必有一真，因此1 3 假，即甲是罪犯，答案为A）

• A.甲说的是假话，因此，甲是罪犯。
• B.乙说的是真话，丁是罪犯。
• C.丙说的是真话，乙是罪犯。
• D.丁说的是假话，丁是罪犯。
• E.四个人说的全是假话，丙才是罪犯。

4 小东在玩“勇士大战”游戏，进入第二关时，界面出现四个选项。

1. 第一个选项是“选择任意选项都需支付游戏币”，（逻辑转换：任意选项 支付游戏币）
2. 第二个选项是“选择本项后可以得到额外游戏奖励”，（逻辑转换：本项 额外奖励）
3. 第三个 选项是“选择本项后游戏不会进行下去”，（逻辑转换：本项 游戏不再进行）
4. 第四个选项是“选择某个选项不需要支付游戏币”。（逻辑转换：某个/有的选项 不支付游戏币）

如果四个选项中的陈述只有一句为真，则以下哪项一定为真?（分析：1和4互为矛盾命题，必有一真，2 和3为假，因此答案为E）

• A.选择任意选项都需支付游戏币。
• B.选择任意选项都无需支付游戏币。
• C.选择任意选项都不能得到额外游戏奖励。
• D.选择第二个选项后可以得到额外游戏奖励。
• E.选择第三个选项后游戏能继续进行下去。

5 如果“我们班有的同学不会使用计算机（逻辑转换：有的S不是P）”是一个真判断，下面不能确定其真假是哪项?（分析：有的S不是P 为真，则 所有S是P 为假）

• A.我们班至少有一个同学不会使用计算机。（逻辑转换：有的S不是P，与题干是一个意思，因此为真）
• B.我们班所有同学都会使用计算机。（逻辑转换：所有S是P，与 有的S不是P  为 矛盾命题，因此为假）
• C.我们班有的同学会使用计算机。（逻辑转换：有的S是P 与 有的S不是P 是下反对关系，必有一真，因此该命题无法判定）
• D.不会使用计算机的有些是我们班的同学。（逻辑转换：有的[非P]是S 与 有的S是[非P] 满足互换原则，因此为真）
• E.所有不会使用计算机的都不是我们班同学。（逻辑转换：所有[非P]不是S 与有的[非P]是S 为 矛盾关系，而有的[非P]是S 与 有的S是[非P] 满足互换原则，同真同假，因此该命题为假）

6 某公司财务部共有包括主任在内的 8 名职员。有关这 8 名职员，以下三个断定中，只有一个是真的：

1. 有人是广东人。 （逻辑转换：有的人是 广东人）
2. 有人不是广东人。（逻辑转换：有的人 不是 广东人）
3. 主任不是广东人。 （逻辑转换：主任 不是 广东人）

以下哪项为真?（分析：1 和2 是下反对关系，至少有一真，所以3为假，即 主任是广东人，即 有的人是广东人为真，有的人 不是 广东人为假->所有人都是 广东人 为真，答案为A）

• A.8 名职员都是广东人。
• B.8 名职员都不是广东人。
• C.只有一个不是广东人。
• D.只有一个是广东人。
• E.无法确定该部广东人的人数。

7 关于甲班体育达标测试，三位老师有如下预测:

1. 张老师说:“不会所有人都不及格。” （逻辑转换：不是 所有人都不及格->有的人会不及格）
2. 李老师说:“有人会不及格。” （逻辑转换：有的人会不及格）
3. 王老师说:“班长和学习委员都能及格。” （逻辑转换：有的人能及格）

如果三位老师中只有一人的预测正确，则以下哪项一定为真?（分析：1 和2 为下反对关系，必有一真，因此3为假。有的人能及格为假->所有人不及格为真，因此答案为A）

• A.班长和学习委员都没及格。
• B.班长和学习委员都及格了。
• C.班长及格，但学习委员没及格。
• D.班长没及格，但学习委员及格了。
• E.以上各项都不一定为真。

8 所有的三星级饭店都被搜查过了（所有S都是P），没有发现犯罪嫌疑人的踪迹。 如果上述断定为真，则在下面四个断定中可确定为假的是:（分析：1 3为假，2 4 为真，因此答案为B）

1. 没有三星级饭店被搜查过。（逻辑转换：不是所有S都是P，上反对关系，至少有一假，题干真 则该判断为假）
2. 有的三星级饭店被搜查过。（逻辑转换：有的S是P 与 不是 所有S都是P 为 矛盾关系，因此为真）
3. 有的三星级饭店没有被搜查过。 （逻辑转换：有的S不是P 与 所有S都是P 是矛盾关系，因此必为假）
4. 犯罪嫌疑人躲藏的三星级饭店已被搜查过。（逻辑转换：因为所有的三星级饭店 都搜查过，因此该项为真）

• A.仅I、II。B.仅I、III。C.仅II、III。D.仅I、III和IV。E.I、II、III和III。

9 北方人不都爱吃面食（有的 北方人不爱吃面食 为真 ->所有北方人爱吃面食 为假），但南方人都不爱吃面食（所有南方人都不爱吃面食 为假 -> 有的南方人爱吃面食 为真）。 如果已知上述第一个断定真，第二个断定假，则以下哪项据此不能确定真假? （分析：1为假，2 和3 命题无法判定，因此答案为D）

1. 北方人都爱吃面食，有的南方人也爱吃面食，（逻辑转换说明：前 假，后真，命题确定为假）
2. 有的北方人爱吃面食，有的南方人不爱吃面食 （逻辑转换：有的北方人爱吃面食 与 有的 北方人不爱吃面食 为下反对关系，其中至少有一真，前者确定为真，因此后者无法判定；有的南方人不爱吃面食 与 有的南方人爱吃面食 为下反对关系，至少有一真，后者为真，因此前者无法判定；因此命题无法判定真假）
3. 北方人都不爱吃面食，南方人都爱吃面食（逻辑转换：所有北方人都不爱吃面食 与所有北方人爱吃面食 为上反对关系，至少有一假，而后者为假，因此前者无法判定；所有南方人都爱吃面食 与 所有南方人都不爱吃面食 为上反对关系，至少有一假，而后者为  假，因此前者无法判定；因此命题无法判定真假）

• A.只有I。B.只有II。C.只有III。D.只有II和III。E.I、II和III。

10 有个叫艾克思的瑞典人最近发明了永动机。 如果上述断定为真，则以下哪项一定为真?（分析：这个S是P→ 有的S是P，因此答案为D）

• A.由于永动机违反科学原理，上述断定不可能为真。
• B.所有的瑞典人都没有发明永动机。
• C.有的瑞典人没有发明永动机。
• D.有的瑞典人发明了永动机。
• E.发明永动机的只有瑞典人。

11 小李是四川人，他喜欢吃酸泡菜;小王也是四川人，她也喜欢吃酸泡菜;小陈是四川人，她也喜欢吃酸泡菜。我所认识的四川人都喜欢吃酸泡菜。 如果上述陈述为真，则可以得出下列哪项?（分析：有的四川人喜欢吃泡菜 但不能确定所有，因此答案为B）

• A.所有四川人都喜欢吃酸泡菜。
• B.有的四川人喜欢吃酸泡菜。
• C.并非所有四川人都喜欢吃酸泡菜。
• D.并非有的四川人喜欢吃酸泡菜。
• E.有的喜欢吃泡菜的不是四川人。

2 性质判断的变形推理

@1 换质推理（简单来说就是双重否定，是P<=>不是非P）：通过改变前提的质(肯定改为否定，否定改为肯定)，从而得出结论的直接推理方法。例如: 所有考生都是中国人-> 所有考生都不是外国人。

@2 换位推理：通过交换前提中主、谓项的位置(主项变谓项，谓项变主项)，从而得出结论的直 接推理。例如: 所有考生都不是外国人， 所以，所有外国人都不是考生。 换位必须遵守的规则: 不改变前提的质，只改变主项 和 谓项的位置。

1. 所有S是P 可换位得: 有的P是S
2. 所有S不是P 可换位得: 所有P不是S
3. 有的S是P 可换位得: 有的P是S
4. 有的S不是P 不能换位得: 有的P不是S

关于换位的拓展说明：所有S是P 所有不是P的不是S

@3 逻辑方阵图重新构建后如下所示（添加 换位推理，因为 是P<=>不是非P 相对较为容易，因此不在图上予以体现）：

增添内容 说明如下（这里采用 红绿黄 三色灯，即使用高效记忆法来快捷记忆 以免混淆）：

1. 所有S是P 可换位得: 有的P是S（双层空心圆，局部置换）
2. 所有S不是P 可换位得: 所有P不是S（空心圆，直接置换）
3. 有的S是P 可换位得: 有的P是S（空心圆，直接置换）
4. 有的S不是P 不能换位得: 有的P不是S（实心圆，不可置换）

@4 案例分析

1 已知“有些鸟不会飞”，据此可得?（有些S是P <=>有些P是S，因此答案是E，注意不是A）

• A.有些会飞的不是鸟。B.所有鸟会飞。C.所有会飞的不是鸟。D.所有不会飞的是鸟。E.有些不会飞的是鸟。

2 从“这个班上所有学生都是学会计的”可推出以下结论，除了?（分析： ABCD均为真，E为假）

• A.有学会计的是这个班上的学生。（逻辑转换：所有S都是P，推断得到：有的P是S，命题为真）
• B.并非这个班上有的学生不是学会计的。（逻辑转换：这个班上有学生不是学会计的 与 这个班上所有学生都是学会计的 是矛盾 关系，后者为真，前者必为假，则前者的否命题为真）
• C.这个班上有学生是学会计的。（逻辑转换：这个S是P→ 有的S是P，命题为真）
• D.并非这个班上所有学生都不是学会计的。（逻辑转换：这个班上所有学生都不是学会计的 与 这个班上所有学生都是学会计的 是上反对 关系，至少有一个为假，后者为真，前者必为假，则前者的否命题为真）
• E. 有学会计的不是这个班上的学生。（与A选项互为矛盾关系，A真，则E假）

3 有些便宜货不是假货，因此，有些假货不是便宜货。以下哪项最能说明上述推理不成立? （分析：相对来说最类似的推理模式是B选项：有些S不是P ->有些P不是S，因此答案为B）

• A.有些便宜货不是好货，因此，有些便宜货是好货。（不类似的错误推理模式：有些S不是P ->有些S是P）
• B.有些人不是坏人，因此，有些坏人不是人。（最类似的错误推理模式：有些S不是P ->有些P不是S）
• C.所有商品都是有价值的，因此，所有有价值的都是商品。（不类似的错误推理模式：所有S是P ->所有P是S）
• D.有些发明家是自学成才的，因此，有些自学成才者是发明家。（不类似的正确推理模式：有些S是P ->有些P是S）
• E.没有宗教是科学，因此，没有科学是宗教。（不类似的正确推理模式：所有S是P ->所有P是S）

4 凡美的都是真的，凡真的都是不容怀疑的，而美的事物是存在的。 根据上述陈述可以推出下列哪项?（分析： ABDE均为 错误推断/无法推断，正确答案为C）

• A.凡真的都是美的。（错误推理：所有S是P ->所有P是S）
• B.有的美的值得怀疑。（逻辑转换：凡美的都是真的，凡真的都是不容怀疑的 推断出 凡美的都是不容怀疑的）
• C.有的真的是美的。（正确推理：所有S是P ->有的P是S）
• D.凡不美的都是要怀疑的。（错误推理：所有S是P ->所有非P是非S）
• E.凡是真的都是存在的。（无法推断）

性质判断

1) 性质判断：就是断定对象具有或不具有某种属性的判断 (也称为直言判断或直言命题)。 例如： 这个人是律师。

2) 性质判断的构成
　Ｉ. 主项：表示被断定对象的概念，用 “S” 表示
　Ⅱ. 谓项：表示被断定对象性质的概念，用 “P”表示
　Ⅲ. 联项：也称联结项，它是联结主项和谓项的概念，它表示性质判断的“质”，分为肯定和否定两种。 一般用“是”和 “不是”表示。
　Ⅳ. 量项： 表示所断定的主项的数量或范围的概念。量项又分为三种：
　　a) 全称量项： 对主项的全部外延做了断定，所有的，凡、任何一个。
　　b) 特称量项： 只对主项的部分外延做了断定。有些，有的。
　　c) 单称量项： 所断定的主项只是某一个个别对象。这个、那个。

3) 性质判断的分类： 根据性质判断质和量的划分，一共有六种类型。
　Ｉ. 单称肯定判断：断定一个具体的对象具有某种性质的判断。逻辑形式：这个Ｓ是Ｐ，例如：中国是人口大国。
　Ⅱ. 单称否定判断：断定一个具体的对象不具有某种性质的判断。逻辑形式：这个S不是P。例如：中国不是发达国家。
　Ⅲ. 全称肯定判断： 断定一类对象都具有某种性质的判断。逻辑形式：所有S是P。例如：所有学生都是青年人。
　Ⅳ. 全称否定判断： 断定一类对象中全体对象都不具有某种性质的判断。逻辑形式：所有S不是P。例如：所有学生都不是老年人。
　Ⅴ. 特称肯定判断： 断定一类对象中有对象具有某种性质的判断。逻辑形式：有的S是P. 例如：有些学生是文科学生。
　Ⅵ. 特称否定判断： 断定一类对象中有对象不具有某种性质的判断。

4) 量项“所有”、“有的”的替代表达形式
　Ｉ. 与 “所有” 相似的表达：一切，任何，凡是，每一个，皆等。
　Ⅱ. 与 “有的” 相似的表达：有些，许多，大多数、不少等。

5) 同一素材的判断：如果两个性质判断的主、谓项均相同，那么这两个判断就是同一素材的判断。例如：
　Ｉ. 所有的产品都是合格的
　Ⅱ. 所有的产品都不是不合格的。

6) 性质判断的对当关系：
　Ｉ. 矛盾关系：
　　ａ) 矛盾关系的特点： 必有一真，必有一假。
　　b) 矛盾关系的本质：A与非A的关系 (A表示任何判断)
　　c) 性质判断之间的矛盾关系：
　　　“所有的Ｓ都是Ｐ” 与 “有的S不是P”
　　　“所有的S都不是P” 与 “有的S是P”
　　　“这个S是P” 与 “这个S不是P”
　Ⅱ. 反对关系：
　　ａ) 性质判断之间反对关系：
　　“所有的S都是P” 与 “所有的S都不是P”
　　“有的S不是P” 与 “有的S都是P”
　　b) 反对关系的特点：
　　　两个 “所有” 至少一假，可以同假。
　　　两个 “有的” 至少一真，可以同真。

性质判断的变形推理

1) 换置推理：就是通过改变前提的质(肯定改为否定，否定改为肯定），从而得出结论的直接推理方法。
例如：所有考生都是中国人，所以，所有考生都不是外国人。
　Ｉ. 换置必须遵守的规则：
　　① 主项和量项保持不变
　　② 谓项变成其矛盾概念，亦”P”变为”非P”。
　　③ 改变联项的性质，即肯定变否定；否定变肯定。
　
　Ⅱ. 换置推理的逻辑形式：
　　① 所有S是P　换置得　所有Ｓ不是非Ｐ
　　② 所有S不是P　换置得　所有Ｓ是非Ｐ
　　③ 有的S是P　换置得　有的S是非P

2) 换位推理：就是交换前提中主谓项的位置，从而得出结论的直接推理。例如： 所有考生都不是外国人，所以，所有外国人都不是考生。
　Ⅰ. 换位必须遵守的规则：不改变前提的质，只改变主谓项的位置
　　① 所有S是P　可换位得　有的P是S
　　② 所有S不是P　可换位得　所有P不是S
　　③ 有的S是P　可换位得　有的P是S
　　④ 有的S不是P　可换位得　有的P不是S
　　
　　

寄语

    船停在码头是最安全的，但那不是造船的目的；人待在家里是最舒适的，但那不是人生的追求。回首过往你会发现，最清晰的脚印，往往印在最泥泞的道路上。放松心态，努力前行，不辜负每一天。早安！

— 人民日报

一、 软件介绍及下载安装

1.1 软件介绍

EPI Suite™-Estimation Program Interface官方主页介绍。

该套件是由美国 EPA与 Syracuse Research Corp. (SRC)开发，用于测定化合物的物理化学性质及环境归趋的软件。
同时，该套件还包含可以用于预测水生毒性的ECOSAR™程序。

1.1.1 软件所含模型

KOWWIN™：使用原子/碎片贡献方法估算化学品的辛醇-水分配系数 log KOW。
AOPWIN™：估算最常见的大气氧化剂、羟基自由基和化学品之间反应的气相反应速率。还估计了烯烃和乙炔的气相臭氧自由基反应速率。
HENRYWIN™：使用基团贡献和键贡献方法计算亨利定律常数（空气/水分配系数）。
MPBPWIN™：有机化学品的熔点、沸点和蒸气压可通过多种方式估算。
BIOWIN™：使用 7 种不同模型估算有机化学品的需氧和厌氧生物降解能力。
BioHCwin：估算仅含碳和氢（即碳氢化合物）化合物的生物降解半衰期。
KOCWIN™：以前称为 PCKOCWIN™，该程序估算土壤和沉积物的有机碳归一化吸附系数，即KOC。KOC 使用两种不同的模型进行估算：具有改进校正因子的 Sabljic 分子连接方法；基于log KOW的传统方法。

WSKOWWIN™：使用 KOWWIN™ 程序估算辛醇-水分配系数，然后根据该值和适用的校正因子估算化学品的水溶性。
WATERNT™：利用类似于 KOWWIN™ 程序中的“碎片常数”方法直接估计水溶性。
BCFBAF™：以前称为 BCFWIN™，该程序使用两种不同的方法估算鱼类生物富集因子及其对数值。第一种是基于 log KOW 及任何适用校正因子的传统回归，类似于 WSKOWWIN™ 方法。第二种是 Arnot-Gobas 方法，根据机械第一原理计算 BCF。BCFBAF 还结合了对鱼类表观代谢半衰期的预测，并估计了三个营养级的 BCF 和 BAF。
HYDROWIN™：估算酯、氨基甲酸酯、环氧化物、卤代甲烷、选定的烷基卤化物和磷酯的水解速率常数和半衰期：。估算除磷酯外（不是中性水解）的酸和碱催化水解的速率常数。此外，HYDROWIN™ 确定了多种可能显著水解的化学结构类别（例如氨基甲酸酯），并提供相关的实验数据。
KOAWIN：使用来自 KOWWIN™ 的辛醇/水分配系数 (KOW) 与来自 HENRYWIN™ 的无量纲亨利定律常数 (KAW) 之比估算 KOA，即辛醇/空气分配系数。KOA 在化学评估中有多种用途。
AEROWIN™：使用三种不同的方法估算吸附在空气中颗粒物上的空气中物质的比例，即参数 phi (φ)。
WVOLWIN™：估算一种化学品从河流和湖泊中的挥发率；并根据它们的速率计算这两个过程的半衰期。该模型对水体深度、风速等做出了某些默认假设。

STPWIN™：该程序预测在典型的基于活性污泥的污水处理厂中化学物质的去除。给出了总去除率和可能有助于去除率的三个过程的值：生物降解、污泥吸附和空气汽提。
LEV3EPI™：该程序包含一个 III 级多媒体逸度模型，并在默认模型“环境”的稳态条件下预测空气、土壤、沉积物和水中的化学物质分配。用户可以更改某些（但不是全部）系统默认值。
ECOSAR™ 1.11 版（2012 年 9 月）：生态结构活动关系 (ECOSAR) 计划估算工业化学品的水生毒性。该计划估计了水生生物对鱼类、水生无脊椎动物和绿藻的急性（短期）毒性和慢性（长期或延迟）毒性，并在数据可获取的情况下对其他咸水和陆地物种的 SAR 有限。该计划由该机构的一个单独部门维护，有关该模型的更多信息可以在 ECOSAR 网页上找到。

1.2 软件下载及安装

EPI Suite™ 4.1软件下载。
下载之后直接双击安装，按照步骤提示进行安装即可（图1）。

图1 安装成功

二、 模型使用

软件安装并打开之后，界面如图2所示。左侧可以看到列出的主要模型列表，任意单击便可进入对应模型的设置界面。

图2 EPI Suite软件界面

2.1 单个模型的使用

以辛醇水系数计算模型（KOWWIN）为例，点击之后，如图3所示，输入化合物的“SMILES”或“NAME”便可对该化合物进行查询。

图3 KOWWIN v1.68模型计算界面

以atrazine为例，输入名字选择“NameLookup”，弹出“Chemical Name Lookup”查询界面（图4）。

图4 Chemical Name Lookup查询界面

输入名字后，会弹出图5的化合物查找列表，可以看到第一个选中的化合物即我们的目标化合物（图5）。

图5 化合物查询列表

点击OK之后，会看到已自动在“SMILES”或“NAME”中填充了库中该化合物的SMILES及名称（图6）。

图6 化合物的SMILES及名字

点击右上角的“calculate”就会自动弹出atrazine的辛醇水系数计算结果（图7）。

图7 atrazine的辛醇水系数计算结果

2.2 多个模型的使用

2.2.1 化合物性质查询网站

在遇到一些需要同时获取化合物多个物化性质时，除了搜索文献及chemicalbook，pubchem，Chemical Dashboard，Chemspider，DrugBank等网页外，也可以利用EPI Suite组件进行一次查询。

2.2.2 EPISuite多个模型的使用

如图8所示，输入CAS号之后，点击“Calculate”会提示必须输入“SMILES”，点击“Search CAS”即可自动补充该化合物的“SMILES”与“NAME”，继而点击“Calculate”便可弹出各个模型的计算结果，一次点击查看即可（图9）。

图8 化合物信息输入

图9 化合物物化性质计算结果

以上是本文的简要介绍，当然也可以自己摸索更多功能！