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

第5讲选择结构 一、关系运算符和关系表达式 二、逻辑运算符和逻辑表达式 三、if语句 1、if语句的三种形式 2、if语句的嵌套 四、 switch语句 五、条件运算符

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

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

1.命题、命题符号化 2.合式公式、真值表、永真式 3.逻辑等值式、推理定律 4.形式化证明

2.1 逻辑代数的基本概念 2.2 逻辑代数的基本定理和规则 2.3 逻辑函数表达式的形式与变换 2.4 逻辑函数的简化

一、什么是逻辑基本规律？ 逻辑基本规律就人们用概念、命题、推理等思维形式进行思维时必须遵守的最一般的准则。 逻辑基本规律有三条：同一律、矛盾律、排中律

这一章的习题从内容上可以分为四种类型:逻辑等式的证明逻辑函数不同 表示方法之间的转换、逻辑函数形式的变换和逻辑函数的化简。下面分别总结、 归纳一下这几种类型习题的解题方法并给出相应的例解

一：逻辑代数的基本定律 二：逻辑代数的三个重要规则 三：异或和同或运算公式 四：逻辑函数表达式的常用形式 五：逻辑函数表达式的相互转换

1.1 数制与代码 1.2 逻辑函数 1.3 逻辑代数的基本定律和运算规则 1.4 逻辑函数的代数化简法 1.5 逻辑函数的卡诺图化简 1.6 逻辑函数的常用表达形式