逻辑学实验教程pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

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

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一篇 在线逻辑学习软件简介 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