《符号逻辑入门 附题解》求取 ⇩

第一章绪言1

第一节 符号逻辑与古典逻辑1

第二节 符号的运用6

第三节 逻辑形式9

第四节 推论与蕴涵式13

第一章 练习题15

第二章命题演算法18

第一节 命题及命题间的关系18

第二节 真值函元21

第三节 命题演算法中的基本真值表23

第四节 真值函元间的关系29

第五节 进一层的逻辑常元31

第三章命题演算法（续）37

第一节 检验论证是否有效的真值表法37

第二节 逻辑句读法和常元的范围40

第三节 真值表的制作与应用43

第四节 间接的真值表决定法48

第五节 命题的分类50

第六节 参考公式52

第七节 决定程术和范式55

第八节 真值函元式的总数60

第九节 代换导出法62

第二章 和第三章练习题68

第四章公理法73

第一节 公理法的目的73

第二节 一个公理系统的建构75

第三节 可导公式81

第四节 一个公理系统应具备的条件84

第五节 相容性88

第六节 独立性93

第七节 公式的导出99

第八节 完全性105

第四章 练习题112

第五章宾辞演算法的初步原理113

第一节 某些新的推论形式113

第二节 单称命题115

第三节 专有名辞和记述语的进一步讨论118

第四节 命题演算法和宾辞演算法之间的关系119

第五节 特称量化素：存在121

第六节 某些量化命题的解析123

第七节 全称量化素125

第八节 量化素作为并联式和选取式的解释126

第九节 自由变元和束缚变元；常元129

第十节 解释和可满足的公式132

第十一节 可同时满足的公式135

第十二节 古典的三段式论法138

第六章进一步的发展142

第一节 公式种类的扩充142

第二节 具有多于一个量化素的公式144

第三节 双项宾辞145

第四节 可满足性：有限界域147

第五节 有限界域（续）149

第六节 双项宾辞：无限界域151

第七节 逻辑上的真154

第八节 决定程术155

第九节 公理系统157

附录160

第一节三段式论法和类代数160

第二节 类及它们之间的关系166

第三节 波勒的类代数172

第四节 波勒的类代数和三段式论法175

第五章 和附录练习题180

参考书目183

题解187