复旦大学：《数理逻辑》课程教学资源（讲义）第3章 一阶逻辑的语言、第4章 形式证明

一、命题演算的自然推理形式系统N 二、怎么在计算机上实现如下有效推理:

1.什么是命题? 命题是陈述客观外界发生事情的陈述句。 命题是或为真或为假的陈述句

第一节 基本逻辑电路 第二节 双稳态触发器 第三节 脉冲的计数和显示 第四节 数模和模数转换

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

一、推演系统N的构成 1 给定非逻辑符号集,Ng的构成如下 形式语言:

命题与联结词 命题及其分类 联结词与复合命题 命题公式及其赋值

2.1 个体、谓词与量词 2.2 谓词公式 2.3 谓词演算的等价式与蕴含式 2.4 前束范式 2.5 谓词逻辑的推理理论

逻辑代数( Logic Algebra)是由英国数 学家乔治布尔( George Boole)于1849年首 先提出的,因此也称为布尔代数( Boolean Algebra)。逻辑代数研究逻辑变量间的相互 关系,是分析和设计逻辑电路不可缺少的数学 工具。所谓逻辑变量,是指只有两种取值的变 量:真或假、高或低、1或0

本节将采用逻辑推理方法讨论几个颇为有趣的问题