论文部分内容阅读
数理逻辑就是精确化、数学化的形式逻辑.它是现代计算机技术的基础.数理逻辑包括两个最基本的组成部分,就是＂命题逻辑＂和＂一阶谓词逻辑＂.其中命题逻辑又被称为二值逻辑,它的运算特点同电路设计中的开与关、高电位与低电位等现象完全一样,都只有＂0＂、＂1＂两种不同的状态,因此,它在电路设计分析中有着广泛而重要的应用.