第1节 引言 第2节 命题逻辑的语言 第3节 真值指派 第4节 唯一可读性 第5节 其它联词 第6节 命题逻辑的一个推演系统 第7节 命题逻辑的自然推演 第8节 命题逻辑的可靠性和完全性定理 第9节 模态逻辑简介

分析目的: 找出给定逻辑电路输出和输入之间的逻辑关系,了解其逻 辑功能。 分析步骤: ①电路→逻辑函数式 ②化简 ③逻辑函数式→真值表 ④逻辑函数式、真值表概括出逻辑功能

本章从什么是触发器出发，介绍了常见触发器逻辑功能及其动作特点；介绍了时序逻辑电路的构成与分析方法；举例说明了时序逻辑电路设计的一般方法并重点介绍了寄存器、计数器电路的组成与原理，常见寄存器、计数器集成芯片；最后介绍了脉冲单元电路。读者应深入理解特征方程、状态图、时序图等时序逻辑电路分析与设计的基本概念，理解常见触发器逻辑功能、动作特点，掌握常见寄存器、计数器集成芯片的逻辑功能及其应用

2.1 概述 2.2 逻辑代数中的三种基本运算 2.3 逻辑代数的基本公式和常用公式 2.5 逻辑函数及其表示方法 2.4 逻辑代数的基本定理 2.6 逻辑函数的化简方法 2.7 具有无关项的逻辑函数及其化简

本章首先介绍分析和设计数字电路时常用的数学工具--逻辑代数和卡 诺图，包括逻辑代数的基本公式和基本定律，逻辑函数的代数化简法和卡诺图化简法。 然后介绍组合逻辑电路的分析方法与设计方法。另外，按其结构和工作原理不同，数字 电路可分为两大类，组合逻辑电路和时序逻辑电路

有着悠久历史的逻辑与哲学素来有着渊源。即使是在今天,重视 逻辑不仅仅应该体现在法律和文献的推敲中,重视逻辑就是站在了一 个更谨慎更周密地认识世界的角度,它不仅仅可以使人们具有更高的 识辨力,更能协助人们通过表面看到事物现象地实质。这样说来逻辑 学与哲学的本质又一次疏路同归,不期而遇了

上海中医药大学：《科学逻辑学》课程教学资源（PPT课件）第三章 科学发现的逻辑——科学思维

上海中医药大学：《科学逻辑学》课程教学资源（PPT课件）第二章 科学理论发现的逻辑——科学事实

上海中医药大学：《科学逻辑学》课程教学资源（PPT课件）概述（乔文彬）、第一章 科学理论发现的逻辑（科学问题）

西安石油大学计算机学院：《数字逻辑 Digital Logic》精品课程教学资源（打印版）数字逻辑（Ⅱ）实验指导书（学生用）