2.2.2逻辑表示的结构 有时,一个公式如P(x),对于所有可能的变量x都具有值T。这 个特性可由在P(x)前面加上全称量词(x)来表示。如果至少有 个x值可使P(x)具有值T,那么这一特性可由在P(x)前面加上存在量 词(x)来表示。 例如,句子“所有的机器人都是灰色的”可表示为 (X)ROBOT(X)COLOR(, GRAYI 而句子“1号房间内有个物体”可表示为 (x)INROOM(X, rl) 这里,x是被量化了的变量。量化一个合适公式上的某个变量 所得到的表达式也是合适公式。如果一个合适公式中某个变量是经 过量化的,就把这个变量叫做约束变量,否则就叫它自由变量。在 合适公式中,所有的变量都是受约束的,这样的合适公式叫做句子。有时，一个公式如P(x)，对于所有可能的变量x都具有值T。这 个特性可由在P(x)前面加上全称量词（x）来表示。如果至少有一 个x值可使P(x)具有值T，那么这一特性可由在P(x)前面加上存在量 词(x)来表示。 例如，句子“所有的机器人都是灰色的”可表示为 (x)[ROBOT(x)→COLOR(x , GRAY)] 而句子“1 号房间内有个物体”可表示为 (x)INROOM(x , r1) 这里，x是被量化了的变量。量化一个合适公式上的某个变量 所得到的表达式也是合适公式。如果一个合适公式中某个变量是经 过量化的，就把这个变量叫做约束变量，否则就叫它自由变量。在 合适公式中，所有的变量都是受约束的，这样的合适公式叫做句子。 2 . 2 . 2 逻辑表示的结构