主要内容一阶逻辑命题符号化 个体词谓词量词 一阶逻辑命题符号化一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式矛盾式可满足式第四章 一阶逻辑基本概念 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务用a b c表示 个体变项：抽象的事物用x y z表示 个体域(论域)—

单击此处编辑母版标题样式主要内容一阶逻辑命题符号化 个体词谓词量词 一阶逻辑命题符号化一阶逻辑公式及其解释 一阶语言 合式公式 合式公式的解释 永真式矛盾式可满足式第四章 一阶逻辑基本概念14.1 一阶逻辑命题符号化 个体词——所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的事务用a b c表示 个体变项：抽象的事物用x y

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级主要内容：个体词谓词量词一阶逻辑命题符号化F的合式公式闭式F的解释公式的类型：永真式矛盾式可满足式第四章 一阶逻辑基本概念要求：(1)准确地将给定命题在F中符号化 当指定个体域时就使用它当没指定个体域时就使用全总个体域在符号化时注意两个基本公式中量词与

单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第2章 一阶逻辑 2.1 一阶逻辑基本概念2.2 一阶逻辑合式公式及解释2.3 一阶逻辑等值式 12.1 一阶逻辑基本概念 个体词 谓词 量词 一阶逻辑中命题符号化 2基本概念——个体词谓词量词 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体 个体常项：具体的