2.2.2逻辑表示的结构 在谓词分析中,一个合适的公式可以通过规定语言的 元素在论域内的对应关系来解释。对于每个谓词符号,必 须规定定义域内的一个相应关系;对于每个常量符号,必 须规定定义域内的一个相应实体;对于每个函数符号,必 须规定定义域内的一个相应函数。这些规定确定了谓词分 析语言的语义。在应用中,用谓词分析明确表示有关论域 内的确定语句。对于已经定义了的某个解释的公式,只有 当其对应的语句在定义域内为真时,才具有值T(真); 而当对应的语句在定义域内为假时,才具有值F(假)。 当一个公式含有变量符号时,对定义域内实体的变量 可能有几个设定。在谓词分析中，一个合适的公式可以通过规定语言的 元素在论域内的对应关系来解释。对于每个谓词符号，必 须规定定义域内的一个相应关系；对于每个常量符号，必 须规定定义域内的一个相应实体；对于每个函数符号，必 须规定定义域内的一个相应函数。这些规定确定了谓词分 析语言的语义。在应用中，用谓词分析明确表示有关论域 内的确定语句。对于已经定义了的某个解释的公式，只有 当其对应的语句在定义域内为真时，才具有值T（真）； 而当对应的语句在定义域内为假时，才具有值F（假）。 当一个公式含有变量符号时，对定义域内实体的变量 可能有几个设定。 2 . 2 . 2 逻辑表示的结构