21谓词逻辑的基本概念与表示 在命题逻辑中,命题是具有真假意义的陈述 包,从语法上分析一个陈述句由主语和谓 语两部分组 “阿星是中科大学生” “小强是中科大学生” 若用命题 分别表示上述两句话 是两个毫无关系的命题,这两个命题所表 的判断乏间没有任何逻辑答系但惠实 详们有一个共同的特性:“是中科大 因此,若将句子分解为:主语+谓语,同时 将 的 兽谓语部分抽取出来,则可以表示这 4844/84 2.1 谓词逻辑的基本概念与表示 在命题逻辑中，命题是具有真假意义的陈述 句，从语法上分析，一个陈述句由主语和谓 语两部分组成，比如： “阿星是中科大学生” “小强是中科大学生” 若用命题P，Q分别表示上述两句话，则P， Q是两个毫无关系的命题，这两个命题所表 达的判断之间，没有任何逻辑关系。但事实 上它们有一个共同的特性：“是中科大学 生”。 因此，若将句子分解为：主语+谓语，同时 将相同的谓语部分抽取出来，则可以表示这 一类的语句