简介
本书包括两部分内容。第一部分是一些在线的亚里士多德三段论逻辑、数理逻辑和模态逻辑等的逻辑学习软件简介。第二部分是LPL软件的操作与应用。本书主要讲解LPL中三个软件Fitch、Boole和Tarski's World的操作和应用。
目录
第一篇 在线逻辑学习软件简介
第一章 亚里士多德逻辑学习软件简介
第一节 Computational Aristotelian Term Logtic简介
第二节 Philosophy Lander简介
第二章 数理逻辑学习软件简介
第一节 Llsing Truth Fables简介
第二节 Plato简介
第三章 模态逻辑和动态逻辑学习软件简介
第一节 modal logic简介
第二节 dynamic logic简介
第二篇 LPL软件的操作与应用
第四章 操作与应用（一）
第一节 原子语句的操作与应用
第二节 原子语句逻辑的操作与应用
第五章 操作与应用（二）
第一节 布尔联结词的操作与应用
第二节 布尔联结词逻辑的操作与应用
第六章 操作与应用（三）
第一节 布尔逻辑证明方法的操作与应用
第二节 形式证明和布尔逻辑的操作与应用
第七章 操作与应用（四）
第一节 条件句的操作与应用
第二节 条件句逻辑的操作与应用
第八章 操作与应用（五）
第一节 量词的操作与应用
第二节 量词逻辑的操作与应用
第九章 操作与应用（六）
第一节 多重量词的操作与应用
第二节 量词证明方法的操作与应用
第三节 形式证明与量词的操作与应用
第一章 亚里士多德逻辑学习软件简介
第一节 Computational Aristotelian Term Logtic简介
第二节 Philosophy Lander简介
第二章 数理逻辑学习软件简介
第一节 Llsing Truth Fables简介
第二节 Plato简介
第三章 模态逻辑和动态逻辑学习软件简介
第一节 modal logic简介
第二节 dynamic logic简介
第二篇 LPL软件的操作与应用
第四章 操作与应用（一）
第一节 原子语句的操作与应用
第二节 原子语句逻辑的操作与应用
第五章 操作与应用（二）
第一节 布尔联结词的操作与应用
第二节 布尔联结词逻辑的操作与应用
第六章 操作与应用（三）
第一节 布尔逻辑证明方法的操作与应用
第二节 形式证明和布尔逻辑的操作与应用
第七章 操作与应用（四）
第一节 条件句的操作与应用
第二节 条件句逻辑的操作与应用
第八章 操作与应用（五）
第一节 量词的操作与应用
第二节 量词逻辑的操作与应用
第九章 操作与应用（六）
第一节 多重量词的操作与应用
第二节 量词证明方法的操作与应用
第三节 形式证明与量词的操作与应用
逻辑学实验教程
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
