- 作 者：李娜编著
- 出 版 社：天津：南开大学出版社
- 出版年份：2012
- ISBN：9787310040452
- 标注页数：389 页
- PDF页数：397 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源397 ≥389页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一篇 在线逻辑学习软件简介 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