| 第一章 引言 1.1 论说 1.1.1 论说的好坏 1.1.2 论说形式的好坏 1.1.3 论说的好坏取决于其形式的好坏 1.2 演绎 1.2.1 演绎的例子（一） 1.2.2 演绎的例子（二） 1.2.3 可演绎性、可证性和独立性 1.2.4 可演绎性与论说 1.3 一致性 1.3.1 关于一致性的基本想法 1.3.2 不一致命题集的例子 1.3.3 一致性、逻辑蕴涵和可演绎性的关系 1.4 与逻辑或“逻辑”有关的几个问题 1.4.1 “逻辑是什么”不是逻辑问题 1.4.2 逻辑与“逻辑”的用法 1.4.3 逻辑与“习惯的说理方式” 1.4.4 当代逻辑、传统逻辑和“普通人需要的逻辑 第一编 命题逻辑 . 第二章 命题连接词与真值表方法 2.1 连接词与复合句 2.1.1 联结词 2.1.2 复合句和简单句 2.1.3 复合句的子句 2.1.4 主联结词和直接子句 2.2 真值函数连接词和非真值函数连接词 2.2.1 真值函数联结词 2.2.2 非真值函数联结词 2.2.3 常用的真值函数联结词符号 2.3 符号化 2.3.1 哪些联结词对应于哪些联结词符号 2.3.2 符号化的基本操作过程 2.3.3 几种特殊情况 2.3.4 论说的符号化 2.3.5 形式 2.4 命题逻辑的基本语法 2.4.1 形式语言。 2.4.2 对象语言和元语言 2.4.3 子公式和主联结词 2.4.4 括号的省略 2.4.5 语法和语义 2.5 真值表和真值的计算 2.5.1 联结词的语义解释——基本真值表 2.5.2 公式真值的计算 2.6 若干基本语义概念的真值表刻画 2.6.1 重言蕴涵（重言后承）与重言等值． 2.6.2 可满足性 2.6.3 重言式、矛盾式与或然式 2.7 简化真值表方法 2.8 习题 第三章 命题逻辑的基本概念 3.1 对象语言里的符号和公式 3.2 真值指派和公式的真值 3.3 重言蕴涵、重言等值与可满足性 3.4 重言式、矛盾式与或然式 3.5 代入 3.5.1 关于代入的直观说明 3.5.2 代入的定义 3.5.3 代入的复合 3.6 代入的语义性质 3.7 真值指派与真值表 3.7.1 真值函数 3.7.2 对部分命题变号的赋值 3.7.3 基本语义概念的严格定义和真值表刻画的等价性 3.8 范式 3.8.1 合取范式 3.8.2 析取范式 3.8.3 范式定理 3.9 函数完全性 3.9.1 真值函数在形式语言中的表达 3.9.2 具有函数完全性的几组真值联结词 3.10 习题 第二编 命题演算 第四章 费奇式推演ⅰ 第五章 弗雷格-希尔伯特式演算ⅰ 第六章 弗雷格-希尔伯特式演算ⅱ 第三编 谓词逻辑 第七章 走进谓词逻辑 第八章 谓词逻辑的基本语法和语义ⅰ 第九章 谓词逻辑的基本语法和语义ⅱ 第四编 谓词演算 第十章 费奇式推演ⅱ 第十一章 弗雷格-希尔伯特式演算ⅲ 第十二章 弗雷格-希尔伯特式演算ⅳ 附录 演算、数学归纳法、习题答案 结语 参考文献和推荐书目 希腊字母读音表 索引 |
内容加载中，请稍后...
商品评论（0条）