二、一阶谓词逻辑 简单命题的分解:个体词和谓词个体词指可以独立存在的客体可以表示具体的事物:李明,玫瑰花,自然数可以表示抽象的概念:思想谓词用于刻画个体词的性质或个体词之间的关系的词 2是有理数, 是有理数 小李比小王高, … 比…高 个体常项、个体变项和........