在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

其他TTL门电路 其他逻辑功能的TTL逻辑门电路:

1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

9.1 半导体存储器 9.2 可编程逻辑器件PLD

学习要点： •触发器的工作原理及逻辑功能 •寄存器、计数器的工作原理及构成 •555定时器的工作原理及其应用 •数模/模数转换器的组成和工作原理 11.1 双稳态触发器 11.2 寄存器 11.3 计数器 11.4 555定时器 11.6 数模和模数转换

第四章触发器 4.1概述 4.2触发器的基本形式 4.3触发器按逻辑功能的分类 4.4触发器逻辑功能的转换 4.5触发器的触发方式 4.6触发器的应用举例

第三章集成门电路与触发器 本章知识要点: 一、半导体器件的开关特性; 二、逻辑门电路的功能、外部特性及使用方法; 三、常用触发器的功能、触发方式与外部工作特性

19.1时序逻辑电路的概述 19.2寄存器 19.3计数器