2.2.2逻辑表示的结构 符号~(非)用来否定一个公式的真值,也就是说, 把一个合适公式的取值从T变为F,或从F变为T。例如, “机器人不在2号房间内”可表示为 INROOM (ROBOT, r2 前面具有符号~的公式叫做否定。一个合适公式的 否定也是合适公式。 如果把句子限制为至今已介绍过的造句法所能表 示的那些句子,而且也不使用变量项,那么可以把这 个谓词分析的子集叫做命题分析。命题分析对于许多 简化了的定义域来说,是一种有效的表示,但它缺乏 用有效的方法来表达多个命题的能力。要扩大命题分 析的能力,需要公式中的命题带有变量。符号~（非）用来否定一个公式的真值，也就是说， 把一个合适公式的取值从T变为F，或从F变为T。例如， “机器人不在2号房间内”可表示为 ~INROOM（ROBOT，r2) 前面具有符号~的公式叫做否定。一个合适公式的 否定也是合适公式。 如果把句子限制为至今已介绍过的造句法所能表 示的那些句子，而且也不使用变量项，那么可以把这 个谓词分析的子集叫做命题分析。命题分析对于许多 简化了的定义域来说，是一种有效的表示，但它缺乏 用有效的方法来表达多个命题的能力。要扩大命题分 析的能力，需要公式中的命题带有变量。 2 . 2 . 2 逻辑表示的结构