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

第一篇 在线逻辑学习软件简介 3

第一章 亚里士多德逻辑学习软件简介 3

第一节Computational Aristotelian Term Logic简介 3

第二节Philosophy Lander简介 8

第二章 数理逻辑学习软件简介 36

第一节Using Truth Tables简介 36

第二节Plato简介 40

第三章 模态逻辑和动态逻辑学习软件简介 52

第一节modal logic简介 52

第二节dynamic logic简介 63

第二篇LPL软件的操作与应用 77

第四章 操作与应用（一） 77

第一节 原子语句的操作与应用 77

第二节 原子语句逻辑的操作与应用 89

第五章 操作与应用（二） 103

第一节 布尔联结词的操作与应用 103

第二节 布尔联结词逻辑的操作与应用 138

第六章 操作与应用（三） 180

第一节 布尔逻辑证明方法的操作与应用 180

第二节 形式证明和布尔逻辑的操作与应用 183

第七章 操作与应用（四） 220

第一节 条件句的操作与应用 220

第二节 条件句逻辑的操作与应用 241

第八章 操作与应用（五） 267

第一节 量词的操作与应用 267

第二节 量词逻辑的操作与应用 289

第九章 操作与应用（六） 300

第一节 多重量词的操作与应用 300

第二节 量词证明方法的操作与应用 346

第三节 形式证明与量词的操作与应用 355