2.2.2逻辑表示的结构 原子公式是谓词分析的基本积木块,应用连词∧(与)、∨ (或)以及→(蕴含)等,能够构成比较复杂的合适公式。 连词∧用来表示复合句子。例如,句子“我喜欢音乐和绘画” 可写成: LIKE (I, MUSIC)ALIKE(L PAINTING) 此外,某些较简单的句子也可以写成复合形式。例如“李住在 一幢黄色的房子里”,即可用 LⅠVES(LI, HOUSE-1)∧ COLOR( HOUSE-1, YELLOW) 来表示,谓词LⅠVES表示人与物体(房子)间的关系,而谓词 COLOR则表示物体与其颜色之间的关系。用连词∧把几个公式连 接起来构成的公式叫做合取,而此合取式的每个组成部分叫做合取 项。原子公式是谓词分析的基本积木块，应用连词∧（与）、∨ （或）以及→（蕴含）等，能够构成比较复杂的合适公式。 连词∧用来表示复合句子。例如，句子“我喜欢音乐和绘画” 可写成： LIKE（I，MUSIC）∧LIKE(I, PAINTING) 此外, 某些较简单的句子也可以写成复合形式。例如“李住在 一幢黄色的房子里”，即可用 LIVES（LI，HOUSE-1）∧ COLOR(HOUSE-1, YELLOW) 来表示，谓词LIVES表示人与物体（房子）间的关系，而谓词 COLOR则表示物体与其颜色之间的关系。用连词∧把几个公式连 接起来构成的公式叫做合取，而此合取式的每个组成部分叫做合取 项。 2 . 2 . 2 逻辑表示的结构