一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

5．1 否定型等值式 5．2 量词分配等值式 5．3 范式 5．4 基本的推理公式 5.5 推理演算 5．6 谓词逻辑的归结推理法

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律

一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用

一、KC是一个较Nc简洁的谓词演算形式系统 二、Kc是在P的基础上建立的 三、Kc的各组成部分如下:

复习 一阶谓词演算的符号化: 个体变元:x,Y,z,… 个体常元:a,b,c ·谓词:Fn,Gn,Hn, 函数:fn,gn,hn, 量词:全称量词V,存在量词3

– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：