专题一：法律是什么？ 专题二：法律体系的逻辑构造 专题三：法律关系的逻辑构造 专题四：法律程序 专题五：法制现代化 专题之五：法律运行

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

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

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

4.0 引言(Introduction) 4.1 组合逻辑电路的分析(Analysis ) 4.2 组合逻辑电路的设计(Design) 4.4 典型的组合逻辑集成电路 4.3 组合逻辑电路中的竟争冒险 4.5 组合可编程逻辑器件(PLD)

3.0 概述 3.1 晶体管的开关特性 3.2 TTL逻辑门电路 3.3 MOS逻辑门电路 3.4 逻辑门电路使用中的几个实际问题 3.5 正负逻辑及逻辑符号的变换

⑴根据要求列逻辑状态表（简表）：

西安电子科技大学：《离散数学》课程教学课件（题解）第二章 谓词逻辑 2-6 谓词逻辑推理及应用

西安电子科技大学：《离散数学》课程教学课件（题解）第一章 命题逻辑 1-3 逻辑等价式和永真蕴含式

一、逻辑门电路 二、数字集成电路的分类 三、本章内容