《数理逻辑基础与应用》求取 ⇩

第一章 命题演算及其应用1

1基本逻辑联结词的引入1

练习14

2等值性、基本联结词的可省略性4

练习27

3关于等值式的若干变形规则7

练习310

4若干常用公式及公式化简法11

练习414

5命题演算实例15

练习530

6逻辑表达式的范式32

练习648

7命题演算在电子计算机设计中的应用49

练习771

8命题演算的公理及其推演公式73

练习879

9公理系统的三个主要问题：不矛盾性、独立性及完备性80

练习983

10随意选取公理的一切推论83

练习1085

11命题演算处理复杂逻辑关系问题的一般方法和实例85

练习1192

第二章 集合代数95

1集合95

2从属关系95

3包含关系96

4空集合与全集合96

5集合的补96

6并与交97

7相补、包含、并及交的一些关系式98

8相等变换及定理100

9略谈集合代数的应用103

10集合的差与对称差104

11集合代数与命题演算的关系108

练习题108

第三章狭义谓词演算及其应用111

1命题演算的不充分性111

2谓词及量词符号的引入111

习题1114

3谓词演算应用举例115

习题2118

4谓词演算中记号的精确化120

5谓词演算的公理及推理规则121

习题3126

6永真公式系统126

习题4132

7替换规则：一公式的否定的作成133

8推广的对偶原则134

习题5135

9演绎定理135

10范式——前束范式，斯科林范式143

习题6147

11谓词演算的应用147

习题7150

12判定问题151

习题8161

13谓词演算公理系统的无矛盾性161

14谓词演算公理系统的完备性165

主要参考文献171

习题解答或提示172

第一章习题解答或提示172

第二章习题解答或提示199

第三章习题解答或提示205