2.2.2逻辑表示的结构 谓词逻辑的基本组成部分是谓词符号、变量符号、 函数符号和常量符号,并用圆括弧、方括弧、花括弧和 逗号隔开,以表示论域内的关系。 例如,函数符号 mother可用来表示某人与他(或她) 的母亲之间的一个映射。可用下列公式表示“李(LI 的母亲与他的父亲结婚”这个句子 MARRIED father(LD, mother(LD 般用大写字母串表示谓词符号,小写字母串表示 函数符号,如 father和 mother等。谓词逻辑的基本组成部分是谓词符号、变量符号、 函数符号和常量符号，并用圆括弧、方括弧、花括弧和 逗号隔开，以表示论域内的关系。 例如，函数符号mother 可用来表示某人与他（或她） 的母亲之间的一个映射。可用下列公式表示“李（LI） 的母亲与他的父亲结婚”这个句子： MARRIED[father(LI), mother(LI)] 一般用大写字母串表示谓词符号，小写字母串表示 函数符号，如father和 mother等。 2 . 2 . 2 逻辑表示的结构