二、现代谓词逻辑对性质命题的内部结构的分析 (一)单称命题及其逻辑结构 1、单称命题的含义 单称命题是陈述某个特定个体对项具有或者不具有某种性质的简单命 题。例如:西安是历史名城。 2、单称命题的构成要素分析 单称命题由个体词和谓词组成。单称命题中的个体词只表示某个特 定的单一对象,称为个体常项,用英文小写字母abcd 来表示 性质命题中的谓词称为一元谓词,用大写的英文字母E,F,G,H,…,.来 表示。 (个体词、谓词、个体常项、一元谓词) 3、单称命题逻辑结构的公式刻画二、现代谓词逻辑对性质命题的内部结构的分析 （一）单称命题及其逻辑结构 1、单称命题的含义 单称命题是陈述某个特定个体对项具有或者不具有某种性质的简单命 题。例如：西安是历史名城。 2、单称命题的构成要素分析 单称命题由个体词和谓词组成。单称命题中的个体词只表示某个特 定的单一对象，称为个体常项，用英文小写字母a,b,c,d,……来表示。 性质命题中的谓词称为一元谓词，用大写的英文字母E,F,G,H,…..来 表示。 （个体词、谓词、个体常项、一元谓词） 3、单称命题逻辑结构的公式刻画