主要内容l一阶逻辑命题符号化个体词、谓词、量词一阶逻辑命题符号化l一阶逻辑公式及其解释一阶语言合式公式合式公式的解释永真式、矛盾式、可满足式第四章 一阶逻辑基本概念14.1一阶逻辑命题符号化 个体词所研究对象中可以独立存在的具体或抽象的客体个体常项：表示具体或特定的客体的个体词，常用a,b,c表示个体变项：表示抽象或泛指的个体词，常用x,y,z表示个体域(论域)个体变项的取值范围个体域可以是有穷集合，如a,b,c,1,2,也可以是无穷集合，如自然数集合N,整数集合Z,实数集合R,全总个体域由宇宙间一切事物组成，包括万事万物本书在论述或推理中如不指明所采用的个体域，都是使用全总个体域。2谓词谓词表示个体词性质或相互之间关系的词，常用F，G，H，表示。谓词常项表示具体性质或关系的谓词。如,F(a)：a是人谓词变项表示抽象的或泛指的性质或关系的谓词。如,F(x)：x具有性质Fn（n 1）元谓词表示以个体域为定义域，以0,1为值域的n元函数或关系。一元谓词(n=1)表示个体词的性质多元谓词(n 2)表示个体词之间的相互关系 如,L(x,y)：x与y 有关系L，L(x,y)：xy，0元谓词不含个
