主要内容l 一阶逻辑命题符号化 个体词、谓词、量词 一阶逻辑命题符号化l 一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式、矛盾式、可满足式第四章 一阶逻辑基本概念14.1 一阶逻辑命题符号化 个体词所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务，用a, b, c表示 个体变项：抽象的事物，用x, y, z表示 个体域(论域)个体变项的取值范围 有限个体域，如 a, b, c, 1, 2 无限个体域，如 N, Z, R, 全总个体域由宇宙间一切事物组成2谓词谓词表示个体词性质或相互之间关系的词 谓词常项 如, F(a)：a是人 谓词变项 如, F(x)：x具有性质F n（n 1）元谓词 一元谓词(n=1)表示性质 多元谓词(n 2)表示事物之间的关系 如, L(x,y)：x与 y 有关系 L，L(x,y)：xy， 0元谓词不含个体变项的谓词, 即命题常项 或命题变项3量词量词表示数量的词 全称量词: 表示所有的. x : 对个体域中所有的x 如, xF(x)表示个体域中所有的x具有性质F xyG(x,y)表示个体域中所有的x和y有关系G 存在量词: 表
