命题逻辑研究的是命题的推理演算． 命题逻辑的基本概念 命题联结词 合式公式、重言式 自然语句的形式化

2.1 基本逻辑门电路 2.2 TTL集成逻辑门电路 2.3 其他类型的TTL门电路

1.1 概述 1.2 逻辑代数中的三种基本运算 1.3 逻辑代数的基本公式和常用公式

本章学习要求 掌握逻辑代数的基本概念，学会用逻辑函数描述逻辑问题的基本方法 掌握逻辑代数的公理、基本定理和重要规则 学会用代数法化简逻辑函数 熟练掌握用卡诺图化简逻辑函数。 本章学习重点 逻辑代数的基本概念 逻辑代数的基本定理和规则 逻辑函数表达式的形式与变换 逻辑函数的简化

15.1数制与码制 15.2逻辑代数的基本运算及其规则 15.3逻辑函数及其表示方法 15.4逻辑函数的化简

本章要求 >掌握逻辑代数的基本公式和基本定理 >掌握逻辑函数的化简方法

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

6.1 概述 6.2 时序逻辑电路的分析 6.3 时序逻辑电路的设计 6.4 常用时序逻辑电路

⒈ 基本逻辑运算 ⒉ 逻辑代数的基本公式和规则 ⒊ 逻辑函数的化简

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？