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

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

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

问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

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

基本要求：理解逻辑代数的基本逻辑运算，懂得在数字电子技术中数学运算是用逻辑运算实现的；掌握逻辑运算规则、逻辑函数的表示、逻辑函数的标准表达式、卡诺图化简等基本理论；懂得从电子技术角度，逻辑运算通过电路实现；初步理解逻辑门电路的基础概念及其接口特性；掌握利用逻辑代数知识分析组合逻辑电路的一般过程及其方法；了解用逻辑门电路设计组合逻辑电路的一般过程；掌握译码器、编码器、数据选择器等常用中规模组合逻辑电路芯片的逻辑功能及其特点；掌握利用译码器、数据选择器实现组合逻辑电路的一般过程及其应用方法

本章要求: >掌握组合逻辑电路的基本分析方法和一般设计过程 >掌握常见逻辑模块的功能及其使用 >掌握实际逻辑电路中冒险现象的形成原理及其防止

用数学方法表示命题陈述的逻辑结构，将形式逻辑归结为代数演算， 称为 “布尔代数”。将布尔代数用于集成电路逻辑门，称为逻辑代数

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用