命题逻辑

数理逻辑研究逻辑系统的表达方式、推理方法，以及其背后的数学含义。它起源于对数学基础的研究，如今已成为计算机科学的重要理论支柱，并在人工智能、程序语言、程序分析、算法设计、形式化方法等诸多领域有广泛应用。本课程为数理逻辑的入门课程，从基础的数学概念和论证方法入手，循序渐进地介绍两种重要逻辑系统（即命题逻辑和一阶逻辑）的基本概念、推理方法及其关键性质

#5（左边为大陆用词，右边为台湾用词） 门电路 闸电路 逻辑门 逻辑闸 非门 反闸 与门 及闸 与非门 反及闸 或门 或闸 或非门 反或闸 异或门 互斥或闸 同或门 反互斥或闸 传输门 传输闸 把“Not”翻译为“非”或者“反”，把“And”翻译为“与”或者“及”都是两可的，无分上下。而对“Xor”的翻译就体现出角度的不同了，我们看逻辑运算Xor的两个定义： 从命题逻辑演算上来说，两式是等值的，因此都可以用来定义Xor运算。但从理解上，(1)表示了“若P和Q等值则为假，若P和Q不等值则为真”，意义是用来判断P和Q是不是不一样；而(2)表示了“或者仅仅P为真，或者仅仅Q为真”，意义是判断两者是互斥的

计算机逻辑描述应用于计算机科学和人工智能的逻辑。它包括： 以在计算机科学中的应用为导向的逻辑学研究。例如：组合子逻辑和抽象释义； 以逻辑形式自然表达的计算机科学基本概念

本书全面而系统地介绍了离散数学的经典理论和方法。内容共分为集合论、代数系统、图论、数理逻辑四篇。第一篇包括集合、关系、函数与无限集合；第二篇包括代数系统、几类典型的代数系统、格与布尔代数；第三篇包括图论基础、树；第四篇包括命题逻辑、谓词逻辑