就理迴辑 逻辑学:研究思维(或推理)的形式结构和规 律的学科。利用数学方法研究思维(或推理)的形式 结构和规律的学科,称作数理逻辑。 数理逻辑的基本内容:命题逻辑(演算) 谓词逻辑。它们对电子元件设计和性质分析 对逻辑程序设计语言的研制具有十分重要的 意义。 2021/2/24 离散数学2021/2/24 离散数学 1 逻辑学:研究思维(或推理)的形式结构和规 律的学科。利用数学方法研究思维(或推理)的形式 结构和规律的学科，称作数理逻辑。 数理逻辑 数理逻辑的基本内容：命题逻辑(演算)、 谓词逻辑。它们对电子元件设计和性质分析， 对逻辑程序设计语言的研制具有十分重要的 意义