个体词、谓词 ※谓词,在谓词逻辑中,简单命题分解成个体词和 谓词.个体词是可以独立存在的客体,它可以是 具体事物或抽象的概念。谓词是用来刻划个体词 的性质或事物之间关系的词 ※个体词分个体常项(用abc…表示和个体变项(用 xyz灬,表示);谓词分谓词常项(表示具体性质和 关系)和谓词变项(表示抽象的或泛指的谓词),用 E,F,G,H,表示。 注意:单独的个体词和谓词不能构成命题,将个体 词和谓词分开不是命题。个体词、谓词 ※谓词，在谓词逻辑中，简单命题分解成个体词和 谓词. 个体词是可以独立存在的客体，它可以是 具体事物或抽象的概念。谓词是用来刻划个体词 的性质或事物之间关系的词。 ※个体词分个体常项(用a,b,c,…表示)和个体变项(用 x,y,z,…表示)；谓词分谓词常项(表示具体性质和 关系)和谓词变项(表示抽象的或泛指的谓词)，用 E,F,G,H,…表示。 注意：单独的个体词和谓词不能构成命题，将个体 词和谓词分开不是命题