CSDN 叶庭云:https://yetingyun.blog.csdn.net/
一、前言
数理逻辑思想的起源:莱布尼茨之梦。古典数理逻辑主要包括两部分:命题逻辑和谓词逻辑,命题逻辑又是谓词逻辑的一种简单情形。
逻辑研究的基本内容:
- 语法。语言部分:基本符号集、公式形成规则;推理部分:公理集、推理规则。
- 语义。语法和语义之间的关系:可靠性、完备性。
- 基本问题:逻辑表示下的判定问题(如可满足性)。
二、命题逻辑
联结词(优先级): ∼ \sim
CSDN 叶庭云:https://yetingyun.blog.csdn.net/
数理逻辑思想的起源:莱布尼茨之梦。古典数理逻辑主要包括两部分:命题逻辑和谓词逻辑,命题逻辑又是谓词逻辑的一种简单情形。
逻辑研究的基本内容:
联结词(优先级): ∼ \sim