第十一章一阶谓词逻辑
第十一章 一阶谓词逻辑
狭谓词逻辑
狭谓词逻辑
在命题逻辑中，起本质作用的是联结词。联结词的意义和使用规则我们前面已经学习过了。在命题逻辑中主要研究复合命题的逻辑性质和推理关系，复合命题是由简单命题和联结词组成的，它的真假由所含简单命题的真假和所含联结词的意义所确定
在命题逻辑中，起本质作用的是 联结词。联结词的意义和使用规则我 们前面已经学习过了。在命题逻辑中， 主要研究复合命题的逻辑性质和推理 关系，复合命题是由简单命题和联结 词组成的，它的真假由所含简单命题 的真假和所含联结词的意义所确定
简单命题是命题逻辑的基本单位在命题逻辑中，我们并不分析这些基本单位又具有怎样的逻辑特征和结构因此，这使得有些命题之间正确的推理关系在命题逻辑中得不到反映（比如：传统的三段论原则）
简单命题是命题逻辑的基本单位。 在命题逻辑中，我们并不分析这些基 本单位又具有怎样的逻辑特征和结构。 因此，这使得有些命题之间正确的推 理关系在命题逻辑中得不到反映（比 如：传统的三段论原则）
例如：所有金属都是导电体：铁是金属；所以，铁是导电体这是一个正确的推理。但是，在命题逻辑单，它的前提和结论只能处理成不同的简单命题。因此，它的推理形
例如： 所有金属都是导电体； 铁是金属； 所以，铁是导电体。 这是一个正确的推理。但是，在命题 逻辑里，它的前提和结论只能处理成 不同的简单命题。因此，它的推理形