数理逻辑实验教程PDF电子书下载

第一部分　逻辑软件简介 3

第一章　在线逻辑软件简介 3

第一节　propositional logic简介 3

第二节　predicate logic简介 27

第三节　Tree Proof Generater简介 37

第二章　LPL Software简介 43

第一节　Tarski's World 5.0的命令和操作方法 44

第二节　Tarski's World 6.5的命令和操作方法 57

第三节　Boole 2.5的命令和操作方法 78

第四节　Fitch 2.5的命令和操作方法 96

第二部分　命题逻辑 113

第三章　简单命题 113

第一节　简单命题 114

第二节　集论语言和算术语言 117

第三节　广义的一阶语言 120

第四节　证明方法 122

第五节　形式证明方法 126

练习 129

第四章　复合命题（一） 136

第一节　逻辑联结词？、？和？ 137

第二节　含有？、？和？的逻辑等值式 142

第三节　可满足与逻辑真 145

第四节　？、？和？的证明方法 151

第五节　？、？和？的形式证明方法 156

第六节　范式 170

练习 172

第五章　复合命题（二） 186

第一节　逻辑联结词→和？ 186

第二节　→和？的证明方法 189

第三节　→和？的形式证明方法 192

第四节　形式系统的扩展 196

练习 201

第三部分　量词逻辑 209

第六章　量词的引入 209

第一节　一阶公式 209

第二节　含有否定词和量词的等值式 218

第三节　含有量词？和？的证明方法 220

第四节　？和？的形式证明方法 225

练习 230

第七章　量词逻辑 241

第一节　？或？的单独使用 241

第二节　？和？的混合使用 242

第三节　？和？混合使用的证明方法 245

第四节　？和？混合使用的形式证明方法 247

第五节　形式系统的进一步扩展 248

第六节　前束范式 251

练习 253

参考文献 266

形式证明规则一览表 267