第2章谓闹逻辑 2.1.2谓词 在上面的三个原子命题中,(1)可以分解成为个体“李玲′ 和“…是优秀共产党员”两部分。“…是优秀共产党员”是用 来描述个体“李玲”的性质的;(2)可以分解成为个体“张华 “李红”和“…比…高”两部分 比…高”是用来描述个 体“张华”和“李红”的身高关系的;(3)可以分解成为个体 小高”、“小王”、“小刘”和“…坐在…和…的中间”两 部分 坐在…和…的中间”是用来描述个体“小高” 小王”、“小刘”的位置关系的。这些刻划个体性质或几个 个体关系的模式叫做谓词。谓词常用大写英文字母表示,叫做 谓词标识符 例如可以用F,G,H表示上面三个命题中谓词: F:…是优秀共产党员 晑。 H:…坐在…和…的中间。第2章 谓词逻辑 2.1.2谓 词 在上面的三个原子命题中，⑴可以分解成为个体“李玲” 和“…是优秀共产党员”两部分。 “…是优秀共产党员”是用 来描述个体“李玲”的性质的；⑵可以分解成为个体“张华” 、 “李红”和“…比…高”两部分。 “…比…高”是用来描述个 体“张华”和“李红”的身高关系的；⑶可以分解成为个体 “小高” 、 “小王” 、 “小刘”和“…坐在…和…的中间”两 部分。 “…坐在…和…的中间”是用来描述个体“小高” 、 “小王” 、 “小刘”的位置关系的。这些刻划个体性质或几个 个体关系的模式叫做谓词。谓词常用大写英文字母表示，叫做 谓词标识符。 例如可以用F，G，H表示上面三个命题中谓词： F：…是优秀共产党员。 G：…比…高。 H：…坐在…和…的中间